Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings

This book constitutes the refereed proceedings of the 8th International Symposium on Engineering Secure Software and Systems, ESSoS 2016, held in London, UK, in April 2016. The 13 full papers presented together with 3 short papers and 1 invited talk were carefully reviewed and selected from 50 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. 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 policycompliance). 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).

Zusammenfassung

This book constitutes the refereed proceedings of the 8th International
Symposium on Engineering Secure Software and Systems, ESSoS 2016, held
in London, UK, in April 2016. The 13 full papers presented together
with 3 short papers and 1 invited talk were carefully reviewed and selected from 50 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. 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 policycompliance). 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).

Produktdetails

• Mitarbeit: Eric Bodden (Herausgeber), Elias Athanasopoulos (Herausgeber), Juan Caballero (Herausgeber)
• Verlag: Springer, Berlin
• Inhalt: Buch
• Produktform: Taschenbuch
• Erscheinungsdatum: 29.03.2016
• Thema: Naturwissenschaften, Medizin, Informatik, Technik > Informatik, EDV > Datenkommunikation, Netzwerke
• EAN: 9783319308050
• ISBN: 978-3-31-930805-0
• Anzahl Seiten: 269
• Illustration: X, 269 p. 64 illus.
• Abmessung (Verpackung): 15.8 x 23.5 x 23.4 cm
• Gewicht (Verpackung): 429 g
• Serie: Lecture Notes in Computer Science > 9639; Security and Cryptology > 9639
• Themen: C, Algorithmen und Datenstrukturen, Software Engineering, Algorithms, Kodierungstheorie und Verschlüsselung (Kryptologie), Kryptografie, Verschlüsselungstechnologie, Theoretische Informatik, computer science, Software Engineering/Programming and Operating Systems, Computer Communication Networks, Mathematical Applications in Computer Science, Operating systems, Computers, Algorithms & data structures, Mathematical & statistical software, Coding theory & cryptology, Computer science—Mathematics, Maths for computer scientists, Math Applications in Computer Science, Algorithm Analysis and Problem Complexity, Data encryption, Data encryption (Computer science), Cryptology, Computer communication systems, Models and Principles, Models of Computation