03439nam 22008655 450 991048454060332120251226202819.03-319-15618-710.1007/978-3-319-15618-7(CKB)3710000000360326(SSID)ssj0001452184(PQKBManifestationID)11759889(PQKBTitleCode)TC0001452184(PQKBWorkID)11487521(PQKB)11495436(DE-He213)978-3-319-15618-7(MiAaPQ)EBC6295061(MiAaPQ)EBC5595706(Au-PeEL)EBL5595706(OCoLC)904399521(PPN)184497442(EXLCZ)99371000000036032620150227d2015 u| 0engurnn|008mamaatxtccrEngineering Secure Software and Systems 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings /edited by Frank Piessens, Juan Caballero, Nataliia Bielova1st ed. 2015.Cham :Springer International Publishing :Imprint: Springer,2015.1 online resource (XII, 227 p. 63 illus.) Security and Cryptology,2946-1863 ;8978Bibliographic Level Mode of Issuance: Monograph3-319-15617-9 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.Security and Cryptology,2946-1863 ;8978Computer networksCryptographyData encryption (Computer science)Software engineeringAlgorithmsComputer scienceMathematicsComputer scienceComputer Communication NetworksCryptologySoftware EngineeringAlgorithmsMathematical Applications in Computer ScienceModels of ComputationComputer networks.Cryptography.Data encryption (Computer science).Software engineering.Algorithms.Computer scienceMathematics.Computer science.Computer Communication Networks.Cryptology.Software Engineering.Algorithms.Mathematical Applications in Computer Science.Models of Computation.005.8Piessens Frankedthttp://id.loc.gov/vocabulary/relators/edtCaballero Juanedthttp://id.loc.gov/vocabulary/relators/edtBielova Nataliiaedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910484540603321Engineering Secure Software and Systems774151UNINA