SESS 2011 – Proceedings

Seventh International Workshop on Software Engineering for Secure Systems (SESS 2011)

Preface

Full Papers

An Initial Study on the Use of Execution Complexity Metrics as Indicators of Software Vulnerabilities
Yonghee Shin and Laurie Williams
(DePaul University, USA; North Carolina State University, USA)


@InProceedings{SESS11p1, author = {Yonghee Shin and Laurie Williams}, title = {An Initial Study on the Use of Execution Complexity Metrics as Indicators of Software Vulnerabilities}, booktitle = {Proc.\ SESS}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2011}, } Article: icsews11sessfull-10-p doi:

Security Policy Foundations in Context UNITY
M. Todd Gamble, Rose F. Gamble, and Matthew L. Hale
(University of Tulsa, USA)


@InProceedings{SESS11p8, author = {M. Todd Gamble and Rose F. Gamble and Matthew L. Hale}, title = {Security Policy Foundations in Context UNITY}, booktitle = {Proc.\ SESS}, publisher = {ACM}, pages = {8-7}, doi = {}, year = {2011}, } Article: icsews11sessfull-11-p doi:

Preserving Security Properties under Refinement
Fabio Martinelli and Ilaria Matteucci
(IIT-CNR, Italy)


@InProceedings{SESS11p15, author = {Fabio Martinelli and Ilaria Matteucci}, title = {Preserving Security Properties under Refinement}, booktitle = {Proc.\ SESS}, publisher = {ACM}, pages = {15-14}, doi = {}, year = {2011}, } Article: icsews11sessfull-6-p doi:

A Conceptual Meta-Model for Secured Information Systems
Nadira Lammari, Jean-Sylvain Bucumi, Jacky Akoka, and Isabelle Comyn-Wattiau
(CNAM, France)


@InProceedings{SESS11p22, author = {Nadira Lammari and Jean-Sylvain Bucumi and Jacky Akoka and Isabelle Comyn-Wattiau}, title = {A Conceptual Meta-Model for Secured Information Systems}, booktitle = {Proc.\ SESS}, publisher = {ACM}, pages = {22-21}, doi = {}, year = {2011}, } Article: icsews11sessfull-7-p doi:

Position Papers

Composition of Least Privilege Analysis Results in Software Architectures (Position Paper)
Koen Buyens, Riccardo Scandariato, and Wouter Joosen
(Katholieke Universiteit Leuven, Belgium)


@InProceedings{SESS11p29, author = {Koen Buyens and Riccardo Scandariato and Wouter Joosen}, title = {Composition of Least Privilege Analysis Results in Software Architectures (Position Paper)}, booktitle = {Proc.\ SESS}, publisher = {ACM}, pages = {29-28}, doi = {}, year = {2011}, } Article: icsews11sessposition-3-p doi:

Towards Transformation Guidelines from Secure Tropos to Misuse Cases (Position Paper)
Naved Ahmed and Raimundas Matulevičius
(University of Tartu, Estonia)


@InProceedings{SESS11p36, author = {Naved Ahmed and Raimundas Matulevičius}, title = {Towards Transformation Guidelines from Secure Tropos to Misuse Cases (Position Paper)}, booktitle = {Proc.\ SESS}, publisher = {ACM}, pages = {36-35}, doi = {}, year = {2011}, } Article: icsews11sessposition-4-p doi:

PEASOUP: Preventing Exploits Against Software of Uncertain Provenance (Position Paper)
Michele Co, Jack W. Davidson, Jason D. Hiser, John C. Knight, Anh Nguyen-Tuong, David Cok, Denis Gopan, David Melski, Wenke Lee, Chengyu Song, Thomas Bracewell, David Hyde, and Brian Mastropietro
(University of Virginia, USA; Grammatech Inc., USA; Georgia Institute of Technology, USA; Raytheon Inc., USA)


@InProceedings{SESS11p43, author = {Michele Co and Jack W. Davidson and Jason D. Hiser and John C. Knight and Anh Nguyen-Tuong and David Cok and Denis Gopan and David Melski and Wenke Lee and Chengyu Song and Thomas Bracewell and David Hyde and Brian Mastropietro}, title = {PEASOUP: Preventing Exploits Against Software of Uncertain Provenance (Position Paper)}, booktitle = {Proc.\ SESS}, publisher = {ACM}, pages = {43-42}, doi = {}, year = {2011}, } Article: icsews11sessposition-8-p doi:

Power Analysis Attack and Countermeasure on the Rabbit Stream Cipher (Position Paper)
KiSeok Bae, MahnKi Ahn, HoonJae Lee, JaeCheol Ha, and SangJae Moon
(Kyungpook National University, Korea; Defence agency for Technology and Quality, Korea; Dongseo University, Korea; Hoseo University, Korea)


@InProceedings{SESS11p50, author = {KiSeok Bae and MahnKi Ahn and HoonJae Lee and JaeCheol Ha and SangJae Moon}, title = {Power Analysis Attack and Countermeasure on the Rabbit Stream Cipher (Position Paper)}, booktitle = {Proc.\ SESS}, publisher = {ACM}, pages = {50-49}, doi = {}, year = {2011}, } Article: icsews11sessposition-1-p doi:

proc time: 0.02