Description
Engineering Secure Software and Systems, 1st ed. 2016
8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings
Security and Cryptology Series
Coordinators: Caballero Juan, Bodden Eric, Athanasopoulos Elias
Language: EnglishSubjects for Engineering Secure Software and Systems:
Keywords
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
269 p. · 15.5x23.5 cm · Soft-cover
Description
/li>Contents
/li>Comment
/li>
Includes supplementary material: sn.pub/extras