03540nam 22008655 450 991051060280332120251226203944.03-642-28166-410.1007/978-3-642-28166-2(CKB)3400000000025783(SSID)ssj0000666077(PQKBManifestationID)11378657(PQKBTitleCode)TC0000666077(PQKBWorkID)10665791(PQKB)10356946(DE-He213)978-3-642-28166-2(MiAaPQ)EBC3069910(PPN)15908752X(Association for Computing Machinery)10.5555/2187203(EXLCZ)99340000000002578320120210d2012 u| 0engurnn#008mamaatxtccrEngineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings /edited by Gilles Barthe, Ben Livshits, Riccardo Scandariato1st ed. 2012.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2012.1 online resource (XII, 151 p. 37 illus.)Security and Cryptology,2946-1863 ;7159International conference proceedings.3-642-28165-6 Includes bibliographical references and author index.This book constitutes the refereed proceedings of the 4th International Symposium on Engineering Secure Software and Systems, ESSoS 2012, held in Eindhoven, The Netherlands, in February 2012. The 7 revised full papers presented together with 7 idea papers were carefully reviewed and selected from 53 submissions. The full papers present new research results in the field of engineering secure software and systems, whereas the idea papers give crisp expositions of interesting, novel ideas in the early stages of development.Security and Cryptology,2946-1863 ;7159Computer networksCryptographyData encryption (Computer science)Software engineeringData structures (Computer science)Information theoryComputer scienceMathematicsComputer scienceComputer Communication NetworksCryptologySoftware EngineeringData Structures and Information TheoryMathematical Applications in Computer ScienceModels of ComputationComputer networks.Cryptography.Data encryption (Computer science).Software engineering.Data structures (Computer science).Information theory.Computer scienceMathematics.Computer science.Computer Communication Networks.Cryptology.Software Engineering.Data Structures and Information Theory.Mathematical Applications in Computer Science.Models of Computation.005.8Barthe Gilles1967-180568Livshits Benjamin1760645Scandariato Riccardo904344MiAaPQMiAaPQMiAaPQBOOK9910510602803321Engineering secure software and systems4199720UNINA