Engineering Secure Software and Systems 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings - Piessens, Frank; Caballero, Juan; Bielova, Nataliia (Cham : Springer International Publishing, 2015)
Formal methods -- Cloud passwords -- Machine learning -- Measurements ontologies -- Access control.
Keywords: Computer science; Computer communication systems; Software engineering; Data encryption (Computer science).; Algorithms; Computer science -- Mathematics; Computers