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.
Reihe
Sprache
Verlagsort
Verlagsgruppe
Springer International Publishing
Illustrationen
63 s/w Abbildungen
XII, 227 p. 63 illus.
Dateigröße
ISBN-13
978-3-319-15618-7 (9783319156187)
DOI
10.1007/978-3-319-15618-7
Schweitzer Klassifikation
Formal methods.- Cloud passwords.- Machine learning.- Measurements ontologies.- Access control.