TY  - BOOK
AU  - Bodden,Eric
AU  - Payer,Mathias
AU  - Athanasopoulos,Elias
ED  - SpringerLink (Online service)
TI  - Engineering Secure Software and Systems: 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings 
T2  - Security and Cryptology
SN  - 9783319621050
AV  - TK5105.5-5105.9 
U1  - 004.6 23
PY  - 2017///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Computer communication systems
KW  - Computer security
KW  - Logic design
KW  - Operating systems (Computers)
KW  - Software engineering
KW  - Data encryption (Computer science)
KW  - Computer Communication Networks
KW  - Systems and Data Security
KW  - Logic Design
KW  - Operating Systems
KW  - Software Engineering
KW  - Cryptology
N1  - 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; Available to subscribing member institutions only. Доступно лише організаціям членам підписки
N2  - 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 of this symposium is to bring together researchers and practitioners to advance the states of the art and practice in secure software engineering
UR  - https://doi.org/10.1007/978-3-319-62105-0
ER  -