TY  - BOOK
AU  - Piessens,Frank
AU  - Caballero,Juan
AU  - Bielova,Nataliia
ED  - SpringerLink (Online service)
TI  - Engineering Secure Software and Systems: 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings 
T2  - Security and Cryptology
SN  - 9783319156187
AV  - TK5105.5-5105.9 
PY  - 2015///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Computer Communication Networks
KW  - Data encryption (Computer science)
KW  - Software engineering
KW  - Computer software
KW  - Computer science
KW  - Cryptology
KW  - Software Engineering/Programming and Operating Systems
KW  - Algorithm Analysis and Problem Complexity
KW  - Math Applications in Computer Science
KW  - Models and Principles
N1  - Formal methods -- Cloud passwords -- Machine learning -- Measurements ontologies -- Access control
N2  - This book constitutes the refereed proceedings of the 7th International Symposium on Engineering Secure Software and Systems, ESSoS 2015, held in Milan, Italy, in March 2015. The 11 full papers presented together with 5 short papers were carefully reviewed and selected from 41 submissions. The symposium features the following topics: formal methods; cloud passwords; machine learning; measurements ontologies; and access control
UR  - https://doi.org/10.1007/978-3-319-15618-7
ER  -