TY - BOOK AU - Piessens,Frank AU - Caballero,Juan AU - Bielova,Nataliia TI - Engineering Secure Software and Systems: 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings SN - 9783319156187 PY - 2015/// CY - Cham PB - Springer International Publishing KW - Computer science KW - Computer communication systems KW - Software engineering KW - Data encryption (Computer science) KW - Algorithms KW - Mathematics KW - Computers N1 - Formal methods -- Cloud passwords -- Machine learning -- Measurements ontologies -- Access control UR - http://dx.doi.org/10.1007/978-3-319-15618-7 ER -