Engineering Secure Software and Systems - 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings

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.

List of contents

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.

Summary

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.

Product details

• Assisted by: Elias Athanasopoulos (Editor), Eric Bodden (Editor), Mathias Payer (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 26.06.2017
• EAN: 9783319621043
• ISBN: 978-3-31-962104-3
• No. of pages: 241
• Dimensions: 166 mm x 15 mm x 240 mm
• Weight: 388 g
• Illustrations: X, 241 p. 63 illus.
• Series: Lecture Notes in Computer Science; Security and Cryptology
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > Data communication, networks; C, Software Engineering, Kodierungstheorie und Verschlüsselung (Kryptologie), Betriebssysteme, Rechnerarchitektur und Logik-Entwurf, Kryptografie, Verschlüsselungstechnologie, computer science, Systems and Data Security, Data and Information Security, Computer Communication Networks, Operating systems, Network Security, Computer security, Coding theory & cryptology, Data encryption, Data encryption (Computer science), Cryptology, Computer architecture & logic design, Computer communication systems, Operating systems (Computers), Logic Design