02833nam 2200649Ia 450 991051060280332120200520144314.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)99340000000002578320120221d2012 uy 0engurnn#008mamaatxtccrEngineering secure software and systems 4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings /Gilles Barthe, Benjamin Livshits, Riccardo Scandariato (eds.)1st ed. 2012.Berlin ;New York Springerc20121 online resource (XII, 151 p. 37 illus.)Lecture notes in computer science,0302-9743 ;7159LNCS sublibrary.SL 4,Security and cryptologyInternational 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.Lecture notes in computer science ;7159.0302-9743.ESSoS 2012Computer securityCongressesSoftware engineeringCongressesComputer networksSecurity measuresCongressesData encryption (Computer science)CongressesComputer securitySoftware engineeringComputer networksSecurity measuresData encryption (Computer science)005.8Barthe Gilles1967-180568Livshits Benjamin1760645Scandariato Riccardo904344MiAaPQMiAaPQMiAaPQBOOK9910510602803321Engineering secure software and systems4199720UNINA