Engineering Secure Software and Systems [[electronic resource] ] : 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings / / edited by Frank Piessens, Juan Caballero, Nataliia Bielova

• Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
• Edizione: 1st ed. 2015.
• Descrizione fisica: 1 online resource (XII, 227 p. 63 illus.)
• Disciplina: 005.8
• Soggetto topico: Computer communication systems; Data encryption (Computer science); Software engineering; Algorithms; Computer science—Mathematics; Computers; Computer Communication Networks; Cryptology; Software Engineering/Programming and Operating Systems; Algorithm Analysis and Problem Complexity; Math Applications in Computer Science; Models and Principles
• Persona (resp. second.): PiessensFrank; CaballeroJuan; BielovaNataliia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di contenuto: Formal methods -- Cloud passwords -- Machine learning -- Measurements ontologies -- Access control.
• Sommario/riassunto: 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.
• Titolo autorizzato: Engineering Secure Software and Systems
• ISBN: 3-319-15618-7
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996198743803316
• Lo trovi qui: Univ. di Salerno
• Serie: Security and Cryptology ; ; 8978