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

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

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Bodden, Eric. (Editor ), Payer, Mathias. (Editor ), Athanasopoulos, Elias. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Security and Cryptology ; 10379
Materias:
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.
Tabla de Contenidos:
  • 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.

Ejemplares similares