LEADER 04993nam  22008055  450 
001 996205178103316
005 20210430134027.0
010   $a3-319-04897-X
024 7 $a10.1007/978-3-319-04897-0
035   $a(CKB)3710000000089156
035   $a(DE-He213)978-3-319-04897-0
035   $a(SSID)ssj0001187146
035   $a(PQKBManifestationID)11754676
035   $a(PQKBTitleCode)TC0001187146
035   $a(PQKBWorkID)11243258
035   $a(PQKB)10427049
035   $a(MiAaPQ)EBC3101121
035   $a(PPN)176751742
035   $a(EXLCZ)993710000000089156
100   $a20140218d2014      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aEngineering Secure Software and Systems$b[electronic resource] $e6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings /$fedited by Jan Jürjens, Frank Piessens, Nataliia Bielova
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (XVIII, 231 p. 59 illus.)
225 1 $aSecurity and Cryptology ;$v8364
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-04896-1 
327   $aModel-Based Security -- Detecting Code Reuse Attacks with a Model of Conformant Program Execution -- Security@Runtime: A Flexible MDE Approach to Enforce Fine-Grained Security Policies -- Idea: Towards a Vision of Engineering Controlled Interaction Execution for Information Services -- Formal Methods -- Automated Formal Verification of Application-Specific Security Properties -- Fault-Tolerant Non-interference  -- Quantitative Security Analysis for Programs with Low Input and Noisy Output -- A Modeling and Formal Approach for the Precise Specification of Security Patterns -- On the Relation between Redactable and Sanitizable Signature Schemes -- Idea: Towards a Working Fully Homomorphic Crypto-processor: Practice and the Secret Computer -- Web and Mobile Security -- Architectures for Inlining Security Monitors in Web Applications -- Automatic and Robust Client-Side Protection for Cookie-Based Sessions -- Security Testing of GSM Implementations -- Applications -- User-Centric Security Assessment of Software Configurations: A Case Study -- Idea: Security Engineering Principles for Day Two Car2X Applications.-Idea: Embedded Fault Injection Simulator on Smartcard.
330   $aThis book constitutes the refereed proceedings of the 6th International Symposium on Engineering Secure Software and Systems, ESSoS 2014, held in Munich, Germany, in February 2014. The 11 full papers presented together with 4 idea papers were carefully reviewed and selected from 55 submissions. The symposium features the following topics: model-based security, formal methods, web and mobile security and applications.
410  0$aSecurity and Cryptology ;$v8364
606   $aSeguridad informática
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 04$aSeguridad informática
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   $a005.8
702   $aJürjens$b Jan$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPiessens$b Frank$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBielova$b Nataliia$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996205178103316
996   $aEngineering Secure Software and Systems$9774151
997   $aUNISA