Engineering Secure Software and Systems  7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings /  [electronic resource] : 
edited by Frank Piessens, Juan Caballero, Nataliia Bielova. 
 - Cham :  Springer International Publishing,  2015. 
 - 1 online resource (XII, 227 p. 63 ill.) 
 - Lecture Notes in Computer Science,  8978  0302-9743 ; .
<br/><br/>Formal methods -- Cloud passwords -- Machine learning -- Measurements ontologies -- Access control. 
<br/><br/><label>ISBN: </label>9783319156187 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer communication systems.<br/>Software engineering.<br/>Data encryption (Computer science).<br/>Algorithms.<br/>Computer science--Mathematics.<br/>Computers.