LEADER 02833nam  2200649Ia 450 
001 9910510602803321
005 20200520144314.0
010   $a3-642-28166-4
024 7 $a10.1007/978-3-642-28166-2
035   $a(CKB)3400000000025783
035   $a(SSID)ssj0000666077
035   $a(PQKBManifestationID)11378657
035   $a(PQKBTitleCode)TC0000666077
035   $a(PQKBWorkID)10665791
035   $a(PQKB)10356946
035   $a(DE-He213)978-3-642-28166-2
035   $a(MiAaPQ)EBC3069910
035   $a(PPN)15908752X
035   $a(Association for Computing Machinery)10.5555/2187203
035   $a(EXLCZ)993400000000025783
100   $a20120221d2012      uy         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aEngineering secure software and systems $e4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings /$fGilles Barthe, Benjamin Livshits, Riccardo Scandariato (eds.)
205   $a1st ed. 2012.
210   $aBerlin ;$aNew York $cSpringer$dc2012
215   $a1 online resource (XII, 151 p. 37 illus.)
225 1 $aLecture notes in computer science,$x0302-9743 ;$v7159
225  0$aLNCS sublibrary.$nSL 4,$pSecurity and cryptology
300   $aInternational conference proceedings.
311   $a3-642-28165-6 
320   $aIncludes bibliographical references and author index.
330   $aThis 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.
410  0$aLecture notes in computer science ;$v7159.$x0302-9743.
517 3 $aESSoS 2012
606   $aComputer security$vCongresses
606   $aSoftware engineering$vCongresses
606   $aComputer networks$xSecurity measures$vCongresses
606   $aData encryption (Computer science)$vCongresses
615  0$aComputer security
615  0$aSoftware engineering
615  0$aComputer networks$xSecurity measures
615  0$aData encryption (Computer science)
676   $a005.8
701   $aBarthe$b Gilles$f1967-$0180568
701   $aLivshits$b Benjamin$01760645
701   $aScandariato$b Riccardo$0904344
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910510602803321
996   $aEngineering secure software and systems$94199720
997   $aUNINA