LEADER 03831nam  22007695  450 
001 9910483302003321
005 20200630132807.0
010   $a3-319-62105-X
024 7 $a10.1007/978-3-319-62105-0
035   $a(CKB)4340000000061619
035   $a(DE-He213)978-3-319-62105-0
035   $a(MiAaPQ)EBC6296628
035   $a(MiAaPQ)EBC5610343
035   $a(Au-PeEL)EBL5610343
035   $a(OCoLC)992167168
035   $a(PPN)202991091
035   $a(EXLCZ)994340000000061619
100   $a20170623d2017      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aEngineering Secure Software and Systems $e9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings /$fedited by Eric Bodden, Mathias Payer, Elias Athanasopoulos
205   $a1st ed. 2017.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017.
215   $a1 online resource (X, 241 p. 63 illus.) 
225 1 $aSecurity and Cryptology ;$v10379
311   $a3-319-62104-1 
327   $aCloud security, virtualization for security -- Mobile devices security -- Automated techniques for vulnerability discovery and analysis -- Model checking for security -- Verification techniques for security properties -- Security by design -- Web applications security -- Empirical secure software engineering -- Embedded software security.
330   $aThis book constitutes the refereed proceedings of the 9th International Symposium on Engineering Secure Software and Systems, ESSoS 2017, held in Bonn, Germany in July 2017. The 12 full papers presented together with 3 short papers were carefully reviewed and selected from 32 submissions. The goal of this symposium is to bring together researchers and practitioners to advance the states of the art and practice in secure software engineering.
410  0$aSecurity and Cryptology ;$v10379
606   $aComputer communication systems
606   $aComputer security
606   $aLogic design
606   $aOperating systems (Computers)
606   $aSoftware engineering
606   $aData encryption (Computer science)
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aSystems and Data Security$3https://scigraph.springernature.com/ontologies/product-market-codes/I28060
606   $aLogic Design$3https://scigraph.springernature.com/ontologies/product-market-codes/I12050
606   $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aCryptology$3https://scigraph.springernature.com/ontologies/product-market-codes/I28020
615  0$aComputer communication systems.
615  0$aComputer security.
615  0$aLogic design.
615  0$aOperating systems (Computers).
615  0$aSoftware engineering.
615  0$aData encryption (Computer science).
615 14$aComputer Communication Networks.
615 24$aSystems and Data Security.
615 24$aLogic Design.
615 24$aOperating Systems.
615 24$aSoftware Engineering.
615 24$aCryptology.
676   $a005.8
702   $aBodden$b Eric$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPayer$b Mathias$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aAthanasopoulos$b Elias$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483302003321
996   $aEngineering Secure Software and Systems$9774151
997   $aUNINA