LEADER 03970nam  22007935  450 
001 9910510602803321
005 20200629210647.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   $a20120210d2012      u|         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 /$fedited by Gilles Barthe, Ben Livshits, Riccardo Scandariato
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (XII, 151 p. 37 illus.)
225 1 $aSecurity and Cryptology ;$v7159
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$aSecurity and Cryptology ;$v7159
517 3 $aESSoS'12
606   $aComputer communication systems
606   $aData encryption (Computer science)
606   $aSoftware engineering
606   $aData structures (Computer science)
606   $aComputer science?Mathematics
606   $aComputers
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aCryptology$3https://scigraph.springernature.com/ontologies/product-market-codes/I28020
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aData Structures and Information Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/I15009
606   $aMath Applications in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17044
606   $aModels and Principles$3https://scigraph.springernature.com/ontologies/product-market-codes/I18016
615  0$aComputer communication systems.
615  0$aData encryption (Computer science).
615  0$aSoftware engineering.
615  0$aData structures (Computer science).
615  0$aComputer science?Mathematics.
615  0$aComputers.
615 14$aComputer Communication Networks.
615 24$aCryptology.
615 24$aSoftware Engineering/Programming and Operating Systems.
615 24$aData Structures and Information Theory.
615 24$aMath Applications in Computer Science.
615 24$aModels and Principles.
676   $a004.6
702   $aBarthe$b Gilles$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLivshits$b Ben$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aScandariato$b Riccardo$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a9910510602803321
996   $aEngineering Secure Software and Systems$9774151
997   $aUNINA