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. 
 - 1st ed. 2015. 
 - XII, 227 p. 63 illus.  online resource. 
 - Security and Cryptology,  8978  2946-1863 ; .
 - Security and Cryptology,  8978 .
<br/><br/>Formal methods -- Cloud passwords -- Machine learning -- Measurements ontologies -- Access control. 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9783319156187 
<br/><br/><label>Standard No.: </label>10.1007/978-3-319-15618-7  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer networks .<br/>Cryptography.<br/>Data encryption (Computer science).<br/>Software engineering.<br/>Algorithms.<br/>Computer science--Mathematics.<br/>Computer science.<br/>Computer Communication Networks.<br/>Cryptology.<br/>Software Engineering.<br/>Algorithms.<br/>Mathematical Applications in Computer Science.<br/>Models of Computation.
<br/><br/><label>LC Class. No.: </label>TK5105.5-5105.9 
<br/><br/><label>Dewey Class. No.: </label>004.6