Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9639)
Part of the book sub series: Security and Cryptology (LNSC)
Included in the following conference series:
Conference proceedings info: ESSoS 2016.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
The goal of this symposium, is to bring together researchers and practitioners to advance the states of the art and practice in secure software engineering. The presentations and associated publications at ESSoS 2016 contribute to this goal in several directions: First, by improving methodologies for secure software engineering (such as flow analysis and policy
compliance). Second, with results for the detection and analysis of software vulnerabilities and the attacks they enable. Finally, for securing software for specific application domains (such as mobile devices and access control).
Similar content being viewed by others
Keywords
- Cloud security
- Embedded software security
- Malware detection
- Security measurements
- Web applications security
- Code analysis for security
- Computer forensics
- Domain-specific languages
- Mobile devices security
- Model checking for security
- Operating system security
- Program rewriting
- Programming models
- Programming paradigms
- Reverse-engineering
- Secure software engineering
- Security testing
- Security-oriented software reconfiguration
- Verification techniques
- Vulnerability analysis
Table of contents (17 papers)
Other volumes
-
Engineering Secure Software and Systems
Editors and Affiliations
Bibliographic Information
Book Title: Engineering Secure Software and Systems
Book Subtitle: 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings
Editors: Juan Caballero, Eric Bodden, Elias Athanasopoulos
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-30806-7
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2016
Softcover ISBN: 978-3-319-30805-0Published: 29 March 2016
eBook ISBN: 978-3-319-30806-7Published: 28 March 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 269
Number of Illustrations: 64 b/w illustrations
Topics: Computer Communication Networks, Cryptology, Software Engineering/Programming and Operating Systems, Algorithm Analysis and Problem Complexity, Math Applications in Computer Science, Models and Principles