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 o...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Bodden, Eric (Επιμελητής έκδοσης), Payer, Mathias (Επιμελητής έκδοσης), Athanasopoulos, Elias (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2017.
Σειρά:Lecture Notes in Computer Science, 10379
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.