LEADER 05121nam  22008535  450 
001 9910484834703321
005 20200704083027.0
010   $a3-662-46666-X
024 7 $a10.1007/978-3-662-46666-7
035   $a(CKB)3710000000379740
035   $a(SSID)ssj0001465668
035   $a(PQKBManifestationID)11821055
035   $a(PQKBTitleCode)TC0001465668
035   $a(PQKBWorkID)11477930
035   $a(PQKB)11061009
035   $a(DE-He213)978-3-662-46666-7
035   $a(MiAaPQ)EBC6287656
035   $a(MiAaPQ)EBC5577842
035   $a(Au-PeEL)EBL5577842
035   $a(OCoLC)906933091
035   $a(PPN)184895049
035   $a(EXLCZ)993710000000379740
100   $a20150330d2015      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aPrinciples of Security and Trust $e4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /$fedited by Riccardo Focardi, Andrew Myers
205   $a1st ed. 2015.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2015.
215   $a1 online resource (XII, 365 p. 56 illus.)
225 1 $aSecurity and Cryptology ;$v9036
300   $aIncludes index.
311   $a3-662-46665-1 
327   $aQuantitative Approaches to the Protection of Private Information: State of the Art and Some Open Challenges -- IFC Inside: Retrofitting Languages with Dynamic Information Flow Control -- Very Static Enforcement of Dynamic Policies -- The Foundational Cryptography Framework -- On the Flow of Data, Information, and Time -- Pareto Efficient Solutions of Attack-Defence Trees -- Analysis of XACML Policies with SMT -- Automatically Checking Commitment Protocols in ProVerif without False Attacks -- Generalizing Multi-party Contract Signing -- Leakiness is Decidable for Well-Founded Protocols -- Abstractions for Security Protocol Verification -- Automated Backward Analysis of PKCS#11 v2.20 -- A Safe Update Mechanism for Smart Cards -- Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols -- Timing Attacks in Security Protocols: Symbolic Framework and Proof Techniques -- Type-Based Verification of Electronic Voting Protocols -- Composing Security Protocols: From Confidentiality to Privacy -- PriCL: Creating a Precedent, a Framework for Reasoning about Privacy Case Law.
330   $aThis book constitutes the refereed proceedings of the 4th International Conference on Principles of Security and Trust, POST 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, in London, UK, in April 2015. The 17 regular papers presented in this volume were carefully reviewed and selected from 57 submissions. In addition, one invited talk is included. The papers have been organized in topical sections on information flow and security types, risk assessment and security policies, protocols, hardware and physical security and privacy and voting.
410  0$aSecurity and Cryptology ;$v9036
606   $aComputer security
606   $aComputer communication systems
606   $aData encryption (Computer science)
606   $aManagement information systems
606   $aComputer science
606   $aComputers and civilization
606   $aAlgorithms
606   $aSystems and Data Security$3https://scigraph.springernature.com/ontologies/product-market-codes/I28060
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   $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067
606   $aComputers and Society$3https://scigraph.springernature.com/ontologies/product-market-codes/I24040
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
615  0$aComputer security.
615  0$aComputer communication systems.
615  0$aData encryption (Computer science).
615  0$aManagement information systems.
615  0$aComputer science.
615  0$aComputers and civilization.
615  0$aAlgorithms.
615 14$aSystems and Data Security.
615 24$aComputer Communication Networks.
615 24$aCryptology.
615 24$aManagement of Computing and Information Systems.
615 24$aComputers and Society.
615 24$aAlgorithm Analysis and Problem Complexity.
676   $a005.8
702   $aFocardi$b Riccardo$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMyers$b Andrew$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484834703321
996   $aPrinciples of Security and Trust$92022536
997   $aUNINA