dblp.uni-trier.de www.uni-trier.de

1. ESSoS 2009: Leuven, Belgium

Fabio Massacci, Samuel T. Redwine Jr., Nicola Zannone (Eds.): Engineering Secure Software and Systems, First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings. Lecture Notes in Computer Science 5429 Springer 2009, ISBN 978-3-642-00198-7 BibTeX

Policy Verification and Enforcement

Model Refinement and Program Transformation

Secure System Development

Attack Analysis and Prevention

Testing and Assurance

Copyright © Sat May 16 23:10:54 2009 by Michael Ley (ley@uni-trier.de)