LEADER 04063nam 22008175 450 001 9910483854703321 005 20251226203351.0 010 $a3-642-53997-1 024 7 $a10.1007/978-3-642-53997-8 035 $a(CKB)3710000000085822 035 $a(DE-He213)978-3-642-53997-8 035 $a(SSID)ssj0001187470 035 $a(PQKBManifestationID)11651511 035 $a(PQKBTitleCode)TC0001187470 035 $a(PQKBWorkID)11257607 035 $a(PQKB)10477027 035 $a(MiAaPQ)EBC3093313 035 $a(PPN)176118454 035 $a(EXLCZ)993710000000085822 100 $a20140127d2014 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aPublic Key Infrastructures, Services and Applications $e10th European Workshop, EuroPKI 2013, Egham, UK, September 12-13, 2013, Revised Selected Papers /$fedited by Sokratis Katsikas, Isaac Agudo 205 $a1st ed. 2014. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2014. 215 $a1 online resource (X, 205 p. 27 illus.) 225 1 $aSecurity and Cryptology,$x2946-1863 ;$v8341 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-53996-3 327 $aPartial Model Checking for the Verification and Synthesis of Secure Service Compositions -- Efficient and Perfectly Unlinkable Sanitizable Signatures without Group Signatures -- Revocation and Non-repudiation: When the First Destroys the Latter -- New Results for the Practical Use of Range Proofs -- STUNT: A Simple, Transparent, User-Centered Network of Trust -- What Public Keys Can Do for 3-Party, Password-Authenticated Key Exchange -- Towards a More Secure and Scalable Verifying PKI of eMRTD -- Mutual Restricted Identification -- Trust Views for the Web PKI -- A User-Centric Digital Signature Scheme -- A Test-Bed for Intrusion Detection Systems Results Post-processing -- Uncertainty in Intrusion Detection Signaling Games. 330 $aThis book constitutes the thoroughly refereed post-conference proceedings of the 10th European Workshop, EuroPKI 2013, held in Egham, UK, in September 2013. The 11 revised full papers presented together with 1 invited talk were carefully selected from 20 submissions. The papers are organized in topical sections such as authorization and delegation, certificates management, cross certification, interoperability, key management, legal issues, long-time archiving, timestamping, trust management, trusted computing, ubiquitous scenarios, and Web services security. 410 0$aSecurity and Cryptology,$x2946-1863 ;$v8341 606 $aComputer networks 606 $aCryptography 606 $aData encryption (Computer science) 606 $aElectronic data processing$xManagement 606 $aAlgorithms 606 $aComputers and civilization 606 $aData protection 606 $aComputer Communication Networks 606 $aCryptology 606 $aIT Operations 606 $aAlgorithms 606 $aComputers and Society 606 $aData and Information Security 615 0$aComputer networks. 615 0$aCryptography. 615 0$aData encryption (Computer science). 615 0$aElectronic data processing$xManagement. 615 0$aAlgorithms. 615 0$aComputers and civilization. 615 0$aData protection. 615 14$aComputer Communication Networks. 615 24$aCryptology. 615 24$aIT Operations. 615 24$aAlgorithms. 615 24$aComputers and Society. 615 24$aData and Information Security. 676 $a005.8 702 $aKatsikas$b Sokratis$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aAgudo$b Isaac$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483854703321 996 $aPublic Key Infrastructures, Services and Applications$92830108 997 $aUNINA