LEADER 03436nam  22007935  450 
001 9910483302003321
005 20251225205530.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,$x2946-1863 ;$v10379
311 08$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,$x2946-1863 ;$v10379
606   $aComputer networks
606   $aData protection
606   $aLogic design
606   $aOperating systems (Computers)
606   $aSoftware engineering
606   $aCryptography
606   $aData encryption (Computer science)
606   $aComputer Communication Networks
606   $aData and Information Security
606   $aLogic Design
606   $aOperating Systems
606   $aSoftware Engineering
606   $aCryptology
615  0$aComputer networks.
615  0$aData protection.
615  0$aLogic design.
615  0$aOperating systems (Computers).
615  0$aSoftware engineering.
615  0$aCryptography.
615  0$aData encryption (Computer science).
615 14$aComputer Communication Networks.
615 24$aData and Information 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