Engineering Secure Software and Systems

Engineering Secure Software and Systems

9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings

Athanasopoulos, Elias; Bodden, Eric; Payer, Mathias

Springer International Publishing AG

06/2017

241

Mole

Inglês

9783319621043

15 a 20 dias

3869

Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Data security;Semantics;Software engineering;Computer architecture;Cloud security;Mobile devices security;virtualization for security;Malware;Embedded software security;Computer forensics;Security in critical infrastructures