Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings / [electronic resource] :
edited by Eric Bodden, Mathias Payer, Elias Athanasopoulos.
- 1st ed. 2017.
- X, 241 p. 63 illus. online resource.
- Security and Cryptology ; Lecture Notes in Computer Science 10379 10379 .
- Security and Cryptology ; 10379 Lecture Notes in Computer Science ; 10379 .
Cloud security, virtualization for security -- Mobile devices security -- Automated techniques for vulnerability discovery and analysis -- Model checking for security -- Verification techniques for security properties -- Security by design -- Web applications security -- Empirical secure software engineering -- Embedded software security.
This book constitutes the refereed proceedings of the 9th International Symposium on Engineering Secure Software and Systems, ESSoS 2017, held in Bonn, Germany in July 2017. The 12 full papers presented together with 3 short papers were carefully reviewed and selected from 32 submissions. 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.
9783319621050
10.1007/978-3-319-62105-0 doi
Computer communication systems.
Computer security.
Logic design.
Operating systems (Computers).
Software engineering.
Data encryption (Computer science).
Computer Communication Networks.
Systems and Data Security.
Logic Design.
Operating Systems.
Software Engineering.
Cryptology.
TK5105.5-5105.9
004.6
Cloud security, virtualization for security -- Mobile devices security -- Automated techniques for vulnerability discovery and analysis -- Model checking for security -- Verification techniques for security properties -- Security by design -- Web applications security -- Empirical secure software engineering -- Embedded software security.
This book constitutes the refereed proceedings of the 9th International Symposium on Engineering Secure Software and Systems, ESSoS 2017, held in Bonn, Germany in July 2017. The 12 full papers presented together with 3 short papers were carefully reviewed and selected from 32 submissions. 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.
9783319621050
10.1007/978-3-319-62105-0 doi
Computer communication systems.
Computer security.
Logic design.
Operating systems (Computers).
Software engineering.
Data encryption (Computer science).
Computer Communication Networks.
Systems and Data Security.
Logic Design.
Operating Systems.
Software Engineering.
Cryptology.
TK5105.5-5105.9
004.6