LEADER 03504nam  22008775  450 
001 9910510604803321
005 20251226204337.0
010   $a3-642-19125-8
024 7 $a10.1007/978-3-642-19125-1
035   $a(CKB)2670000000064773
035   $a(SSID)ssj0000476128
035   $a(PQKBManifestationID)11288637
035   $a(PQKBTitleCode)TC0000476128
035   $a(PQKBWorkID)10480068
035   $a(PQKB)11077099
035   $a(DE-He213)978-3-642-19125-1
035   $a(MiAaPQ)EBC3066351
035   $a(PPN)149906374
035   $a(Association for Computing Machinery)10.5555/1946341
035   $a(EXLCZ)992670000000064773
100   $a20110124d2011      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aEngineering Secure Software and Systems $eThird International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011, Proceedings /$fedited by Úlfar Erlingsson, Roel Wieringa, Nicola Zannone
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (XI, 273 p. 69 illus., 21 illus. in color.)
225 1 $aSecurity and Cryptology,$x2946-1863 ;$v6542
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-642-19124-X 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the refereed proceedings of the Third International Symposium on Engineering Secure Software and Systems, ESSoS 2011, held in Madrid, Italy, in February 2011. The 18 revised full papers presented together with 3 idea papers were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on model-based security, tools and mechanisms, Web security, security requirements engineering, and authorization.
410  0$aSecurity and Cryptology,$x2946-1863 ;$v6542
606   $aComputer networks
606   $aCryptography
606   $aData encryption (Computer science)
606   $aSoftware engineering
606   $aData structures (Computer science)
606   $aInformation theory
606   $aComputer science$xMathematics
606   $aComputer science
606   $aComputer Communication Networks
606   $aCryptology
606   $aSoftware Engineering
606   $aData Structures and Information Theory
606   $aMathematical Applications in Computer Science
606   $aModels of Computation
615  0$aComputer networks.
615  0$aCryptography.
615  0$aData encryption (Computer science)
615  0$aSoftware engineering.
615  0$aData structures (Computer science)
615  0$aInformation theory.
615  0$aComputer science$xMathematics.
615  0$aComputer science.
615 14$aComputer Communication Networks.
615 24$aCryptology.
615 24$aSoftware Engineering.
615 24$aData Structures and Information Theory.
615 24$aMathematical Applications in Computer Science.
615 24$aModels of Computation.
676   $a005.8
701   $aErlingsson$b Ulfar$0949697
701   $aWieringa$b Roel$0536686
701   $aZannone$b Nicola$01757825
712 12$aESSoS (Symposium)
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910510604803321
996   $aEngineering secure software and systems$94200351
997   $aUNINA