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

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.

Inhaltsverzeichnis

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

Produktdetails

• Mitarbeit: Nataliia Bielova (Herausgeber), Juan Caballero (Herausgeber), Frank Piessens (Herausgeber)
• Verlag: Springer, Berlin
• Sprache: Englisch
• Produktform: Taschenbuch
• Erschienen: 10.02.2015
• EAN: 9783319156170
• ISBN: 978-3-31-915617-0
• Seiten: 227
• Abmessung: 154 mm x 12 mm x 240 mm
• Gewicht: 371 g
• Illustration: XII, 227 p. 63 illus.
• Serien: Lecture Notes in Computer Science; Security and Cryptology
• Themen: Naturwissenschaften, Medizin, Informatik, Technik > Informatik, EDV > Datenkommunikation, Netzwerke; C, Software Engineering, Algorithms, computer science, Software Engineering/Programming and Operating Systems, Computer Communication Networks, Mathematical Applications in Computer Science, Operating systems, Computers, Algorithms & data structures, Mathematical & statistical software, Coding theory & cryptology, Computer science—Mathematics, Maths for computer scientists, Math Applications in Computer Science, Algorithm Analysis and Problem Complexity, Data encryption, Data encryption (Computer science), Cryptology, Computer communication systems, Models and Principles, Models of Computation