Engineering Secure Software and Systems
9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings
Seiten
2017
|
1st ed. 2017
Springer International Publishing (Verlag)
978-3-319-62104-3 (ISBN)
Springer International Publishing (Verlag)
978-3-319-62104-3 (ISBN)
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.
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.
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.
| Erscheinungsdatum | 02.08.2017 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Security and Cryptology |
| Zusatzinfo | X, 241 p. 63 illus. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 391 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Netzwerke |
| Schlagworte | Applications • Cloud Security • Computer Architecture • computer architecture & logic design • Computer architecture & logic design • Computer Communication Networks • Computer forensics • Computer Science • Computer Security • conference proceedings • data encryption • Data Security • Embedded software security • Informatics • Logic Design • Malware • Mobile devices security • network hardware • Network Security • Operating Systems • Research • Security in critical infrastructures • Semantics • Software engineering • systems and data security • virtualization for security |
| ISBN-10 | 3-319-62104-1 / 3319621041 |
| ISBN-13 | 978-3-319-62104-3 / 9783319621043 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
das umfassende Buch zum Nachschlagen
Buch | Softcover (2025)
Markt + Technik (Verlag)
CHF 27,90
Praktische Übungen für die Vorlesungen und Praktika
Buch (2025)
Hanser (Verlag)
CHF 83,95