LEADER 03550nam 22008415 450 001 9910337564003321 005 20251225193628.0 010 $a9783030171384 010 $a3030171388 024 7 $a10.1007/978-3-030-17138-4 035 $a(CKB)4100000007823590 035 $a(DE-He213)978-3-030-17138-4 035 $a(MiAaPQ)EBC5922766 035 $a(Au-PeEL)EBL5922766 035 $a(OCoLC)1132418762 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/39604 035 $a(PPN)235668427 035 $a(MiAaPQ)EBC31734330 035 $a(Au-PeEL)EBL31734330 035 $a(OCoLC)1117483691 035 $a(EXLCZ)994100000007823590 100 $a20190402d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aPrinciples of Security and Trust $e8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6?11, 2019, Proceedings /$fedited by Flemming Nielson, David Sands 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XI, 249 p. 2896 illus., 22 illus. in color.) 225 1 $aSecurity and Cryptology,$x2946-1863 ;$v11426 311 08$a9783030171377 311 08$a303017137X 327 $aFoundations for parallel information ow control runtime systems -- A Formal Analysis of Timing Channel Security via Bucketing -- A Dependently Typed Library for Static Information-Flow Control in Idris -- Achieving Safety Incrementally with Checked C -- Wys*: A DSL for Verified Secure Multi-party Computations -- Generalised Differential Privacy for Text Document Processing -- Symbolic verification of distance bounding protocols -- On the formalisation of ?-Protocols and Commitment Schemes -- Orchestrating Layered Attestations -- Verifying liquidity of Bitcoin contracts. 330 $aThis book is Open Access under a CC BY licence. 410 0$aSecurity and Cryptology,$x2946-1863 ;$v11426 606 $aData protection 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aElectronic digital computers$xEvaluation 606 $aComputers 606 $aComputer science 606 $aData and Information Security 606 $aSoftware Engineering 606 $aArtificial Intelligence 606 $aSystem Performance and Evaluation 606 $aComputing Milieux 606 $aTheory of Computation 615 0$aData protection. 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aElectronic digital computers$xEvaluation. 615 0$aComputers. 615 0$aComputer science. 615 14$aData and Information Security. 615 24$aSoftware Engineering. 615 24$aArtificial Intelligence. 615 24$aSystem Performance and Evaluation. 615 24$aComputing Milieux. 615 24$aTheory of Computation. 676 $a005.8 676 $a005.8 700 $aNielson$b Flemming$4edt$0714740 702 $aNielson$b Flemming$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSands$b David$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910337564003321 996 $aPrinciples of Security and Trust$93358691 997 $aUNINA LEADER 05795nam 22008295 450 001 9910483497803321 005 20251226202933.0 024 7 $a10.1007/11533733 035 $a(CKB)1000000000213158 035 $a(SSID)ssj0000319665 035 $a(PQKBManifestationID)11250184 035 $a(PQKBTitleCode)TC0000319665 035 $a(PQKBWorkID)10338224 035 $a(PQKB)10322776 035 $a(DE-He213)978-3-540-31585-8 035 $a(MiAaPQ)EBC3068431 035 $a(PPN)123096480 035 $a(EXLCZ)991000000000213158 100 $a20100715d2005 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aPublic Key Infrastructure $eSecond European PKI Workshop: Research and Applications, EuroPKI 2005, Canterbury, UK, June 30- July 1, 2005, Revised Selected Papers /$fedited by David Chadwick, Gansen Zhao 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (XII, 272 p.) 225 1 $aSecurity and Cryptology,$x2946-1863 ;$v3545 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$aPrinted edition: 9783540280620 320 $aIncludes bibliographical references and index. 327 $aAuthorisation -- A Multipurpose Delegation Proxy for WWW Credentials -- Secure Role Activation and Authorization in the Enterprise Environment -- Towards a Unified Authentication and Authorization Infrastructure for Grid Services: Implementing an Enhanced OCSP Service Provider into GT4 -- Interoperability -- A Heterogeneous Network Access Service Based on PERMIS and SAML -- Interoperation Between a Conventional PKI and an ID-Based Infrastructure -- XKMS Working Group Interoperability Status Report -- Evaluating a CA -- An Innovative Policy-Based Cross Certification Methodology for Public Key Infrastructures -- Modeling Public Key Infrastructures in the Real World -- Classifying Public Key Certificates -- ID Based Ring Signatures -- Identity Based Ring Signature: Why, How and What Next -- Practical Implementations -- Development of a Flexible PERMIS Authorisation Module for Shibboleth and Apache Server -- CA-in-a-Box -- New Protocols -- A Lower-Bound of Complexity for RSA-Based Password-Authenticated Key Exchange -- Recoverable and Untraceable E-Cash -- Risks and Attacks -- A Method for Detecting the Exposure of OCSP Responder?s Session Private Key in D-OCSP-KIS -- Installing Fake Root Keys in a PC -- Long Term Archiving -- Provision of Long-Term Archiving Service for Digitally Signed Documents Using an Archive Interaction Protocol -- Legal Security for Transformations of Signed Documents: Fundamental Concepts. 330 $aThis book contains the proceedings of the 2nd EuroPKI Workshop ? EuroPKI 2005, held at the University of Kent in the city of Canterbury, UK, 30 June?1 July 2005. The workshop was informal and lively, and the university setting encouragedactive exchangesbetween the speakersand the audience. TheworkshopprogramcomprisedakeynotespeechfromDr.CarlisleAdams, followedby18refereedpapers,withaworkshopdinnerinandguidedtouraround the historic Dover Castle. Dr. Adams is well known for his contributions to the CAST family of s- metric encryption algorithms, to international standards from the IETF, ISO, and OASIS, authorship of over 30 refereed journals and conference papers, and co-authorship of Understanding PKI: Concepts, Standards, and Deployment Considerations (Addison-Wesley). Dr. Adams keynote speech was entitled ?PKI: Views from the Dispassionate ?I?,? in which he presented his thoughts on why PKIhas been availableas an authentication technology for many years now,but has only enjoyed large-scale success in fairly limited contexts to date. He also presented his thoughts on the possible future(s) of this technology, with emp- sis on the major factors hindering adoption and some potential directions for future research in these areas. In response to the Call for Papers, 43 workshop papers were submitted in total. All papers were blind reviewed by at least two members of the Program Committee, the majority having 3 reviewers, with a few borderline papers h- ing 4 or more reviewers; 18 papers were accepted for presentation in 8 sessions. 410 0$aSecurity and Cryptology,$x2946-1863 ;$v3545 606 $aComputer networks 606 $aCryptography 606 $aData encryption (Computer science) 606 $aAlgorithms 606 $aInformation storage and retrieval systems 606 $aApplication software 606 $aComputers and civilization 606 $aComputer Communication Networks 606 $aCryptology 606 $aAlgorithms 606 $aInformation Storage and Retrieval 606 $aComputer and Information Systems Applications 606 $aComputers and Society 615 0$aComputer networks. 615 0$aCryptography. 615 0$aData encryption (Computer science) 615 0$aAlgorithms. 615 0$aInformation storage and retrieval systems. 615 0$aApplication software. 615 0$aComputers and civilization. 615 14$aComputer Communication Networks. 615 24$aCryptology. 615 24$aAlgorithms. 615 24$aInformation Storage and Retrieval. 615 24$aComputer and Information Systems Applications. 615 24$aComputers and Society. 676 $a005.8 701 $aChadwick$b David$f1951-$01758789 701 $aZhao$b Gansen$01758790 712 12$aEuropean PKI Workshop 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483497803321 996 $aPublic key infrastructure$94197041 997 $aUNINA