Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5429)
Part of the book sub series: Security and Cryptology (LNSC)
Conference series link(s): ESSoS: International Symposium on Engineering Secure Software and Systems
Conference proceedings info: ESSoS 2009.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (17 papers)
-
Front Matter
-
Model Refinement and Program Transformation
-
Secure System Development
-
Back Matter
About this book
This book constitutes the refereed proceedings of the First International Symposium on Engineering Secure Software and Systems, ESSoS 2009, held in Leuven, Belgium, in February 2009.
The 10 revised full papers presented together with 7 industry reports and ideas papers were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections on policy verification and enforcement, model refinement and program transformation, secure system development, attack analysis and prevention, as well as testing and assurance.
Keywords
- business processes
- code complexity
- conceptual modeling
- data engineering
- data semantics
- dynamic tainting
- enterprise software
- information engineering
- model transformation
- petri nets
- process modeling
- querying
- requirements management
- secure syste
- algorithm analysis and problem complexity
Editors and Affiliations
-
University of Trento, Povo (Trento), Italy
Fabio Massacci
-
Department of Computer Science, James Madison University, Harrisonburg, USA
Samuel T. Redwine
-
Department of Computer Science, University of Toronto, Canada
Nicola Zannone
Bibliographic Information
Book Title: Engineering Secure Software and Systems
Book Subtitle: First International Symposium, ESSoS 2009 Leuven, Belgium, February 4-6, 2009, Proceedings
Editors: Fabio Massacci, Samuel T. Redwine, Nicola Zannone
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-00199-4
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2009
Softcover ISBN: 978-3-642-00198-7Published: 21 January 2009
eBook ISBN: 978-3-642-00199-4Published: 27 March 2009
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 201
Topics: Data and Information Security, Software Engineering, Operating Systems, Algorithms, IT Operations, Cryptology