Engineering Secure Software and Systems 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Piessens, Frank (Editor), Caballero, Juan (Editor), Bielova, Nataliia (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Series: Lecture Notes in Computer Science, 8978
• Subjects: Computer science.; Computer communication systems.; Software engineering.; Data encryption (Computer science).; Algorithms.; Computer science > Mathematics.; Computers.; Computer Science.; Computer Communication Networks.; Data Encryption.; Software Engineering/Programming and Operating Systems.; Algorithm Analysis and Problem Complexity.; Math Applications in Computer Science.; Models and Principles.

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 sympo...

Table of Contents:

• Formal methods
• Cloud passwords
• Machine learning
• Measurements ontologies
• Access control.