Amazon cover image
Image from Amazon.com

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.

Contributor(s): Material type: TextSeries: Lecture Notes in Computer Science ; 8978Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Description: XII, 227 p. 63 illus. online resourceContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783319156187
Subject(s): Additional physical formats: Printed edition:: No titleDDC classification:
  • 004.6 23
Online resources:
Contents:
Formal methods -- Cloud passwords -- Machine learning -- Measurements ontologies -- Access control.
In: Springer eBooksSummary: 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.
No physical items for this record

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

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.