Engineering Secure Software and Systems, 1st ed. 2016 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings Security and Cryptology Series
Coordonnateurs : Caballero Juan, Bodden Eric, Athanasopoulos Elias
Includes supplementary material: sn.pub/extras
Date de parution : 03-2016
Ouvrage de 269 p.
15.5x23.5 cm
Thèmes d’Engineering Secure Software and Systems :
Mots-clés :
Cloud security; Embedded software security; Malware detection; Security measurements; Web applications security; Code analysis for security; Computer forensics; Domain-specific languages; Mobile devices security; Model checking for security; Operating system security; Program rewriting; Programming models; Programming paradigms; Reverse-engineering; Secure software engineering; Security testing; Security-oriented software reconfiguration; Verification techniques; Vulnerability analysis