LEADER 04234nam  22007935  450 
001 9910739418303321
005 20230701010958.0
010   $a3-642-36830-1
024 7 $a10.1007/978-3-642-36830-1
035   $a(CKB)3520000000003558
035   $a(SSID)ssj0000870843
035   $a(PQKBManifestationID)11497960
035   $a(PQKBTitleCode)TC0000870843
035   $a(PQKBWorkID)10819503
035   $a(PQKB)10585059
035   $a(DE-He213)978-3-642-36830-1
035   $a(MiAaPQ)EBC3093090
035   $a(PPN)168330482
035   $a(EXLCZ)993520000000003558
100   $a20130220d2013      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aPrinciples of Security and Trust $eSecond International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings /$fedited by David Basin, John C. Mitchell
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (XX, 287 p. 34 illus.) 
225 1 $aSecurity and Cryptology ;$v7796
300   $aInternational conference proceedings.
311   $a3-642-36829-8 
320   $aIncludes bibliographical references and author index.
327   $aFormal Analysis of Privacy for Routing Protocols in Mobile Ad Hoc Networks -- Practical Everlasting Privacy -- A Differentially Private Mechanism of Optimal Utility for a Region of Priors -- Proved Generation of Implementations from Computationally Secure Protocol Specifications -- Sound Security Protocol Transformations -- Logical Foundations of Secure Resource Management in Protocol Implementations -- Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage -- Lazy Mobile Intruders -- On Layout Randomization for Arrays and Functions -- A Theory of Agreements and Protection -- Computational Soundness of Symbolic Zero-Knowledge Proofs: Weaker Assumptions and Mechanized Verification -- Proving More Observational Equivalences with ProVerif -- Formal Verification of e-Auction Protocols -- Sessions and Separability in Security Protocols.
330   $aThis book constitutes the refereed proceedings of the Second International Conference on Principles of Security and Trust, POST 2013, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2013, in Rome, Italy, in March 2013. The 14 papers included in this volume were carefully reviewed and selected from 59 submissions. They deal with the theoretical and foundational aspects of security and trust such as new theoretical results, practical applications of existing foundational ideas, and innovative theoretical approaches stimulated by pressing practical problems.
410  0$aSecurity and Cryptology ;$v7796
606   $aData protection
606   $aComputer networks
606   $aCryptography
606   $aData encryption (Computer science)
606   $aElectronic commerce
606   $aElectronic data processing?Management
606   $aData and Information Security
606   $aComputer Communication Networks
606   $aCryptology
606   $ae-Commerce and e-Business
606   $aIT Operations
615  0$aData protection.
615  0$aComputer networks.
615  0$aCryptography.
615  0$aData encryption (Computer science).
615  0$aElectronic commerce.
615  0$aElectronic data processing?Management.
615 14$aData and Information Security.
615 24$aComputer Communication Networks.
615 24$aCryptology.
615 24$ae-Commerce and e-Business.
615 24$aIT Operations.
676   $a005.8
702   $aBasin$b David$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMitchell$b John  C$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aETAPS (Conference)$d(16th :$f2013 :$eRome, Italy)
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910739418303321
996   $aPrinciples of Security and Trust$92022536
997   $aUNINA