{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:09:06Z","timestamp":1725574146118},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540669678"},{"type":"electronic","value":"9783540465881"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-3-540-46588-1_7","type":"book-chapter","created":{"date-parts":[[2011,1,6]],"date-time":"2011-01-06T16:55:48Z","timestamp":1294332948000},"page":"75-92","source":"Crossref","is-referenced-by-count":6,"title":["A State-Based Model for Certificate Management Systems"],"prefix":"10.1007","author":[{"given":"Chuchang","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maris A.","family":"Ozols","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marie","family":"Henderson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tony","family":"Cant","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Artificial Intellegince","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/3-540-63104-6_35","volume-title":"Proceedings of the 14th International Conference on Automated Deduction (CADE-14)","author":"K.A. Eastaughffe","year":"1997","unstructured":"Eastaughffe, K.A., Ozols, M.A., Cant, A.: Proof tactics for a theory of state machines in a graphical environment. In: Proceedings of the 14th International Conference on Automated Deduction (CADE-14). Lecture Notes in Artificial Intellegince, pp. 366\u2013379. Springer, Heidelberg (1997)"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1109\/TIT.1985.1057074","volume":"31","author":"T. ElGamal","year":"1985","unstructured":"ElGamal, T.: A public key cryptosystem and a signature scheme based on discrete logarithms. IEEE Transaction on Information Theory\u00a031, 469\u2013472 (1985)","journal-title":"IEEE Transaction on Information Theory"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Ford, W.: Advances in public-key certificate standards. ACM SIGSAC Security Audit & Control Review\u00a013(3) (1995)","DOI":"10.1145\/219618.219714"},{"key":"7_CR4","volume-title":"Secure Electronic Commerce: Building the Infrastructure for Digital Signatures and Encryption","author":"W. Ford","year":"1997","unstructured":"Ford, W., Baum, M.: Secure Electronic Commerce: Building the Infrastructure for Digital Signatures and Encryption. Prentice-Hall, Englewood Cliffs (1997)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Housley, R., Ford, W., Polk, W., Solo, D.: Internet X.509 public key infrastructure certificate and CRL profile. IETF X.509 PKI (PKIX) Working Group (Draft) (January 1999)","DOI":"10.17487\/rfc2459"},{"key":"7_CR6","unstructured":"Kapidzic, N.: Extended certificate management system: Design and protocols. Technical report, DVS (1997)"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1016\/S0167-4048(98)80072-2","volume":"17","author":"N. Kapidzic","year":"1998","unstructured":"Kapidzic, N.: Creating security applications based on the global certificate management system. Computers & Security\u00a017, 507\u2013515 (1998)","journal-title":"Computers & Security"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Kent, S.: Privacy Enhancement for Internet Electronic Mail, Part II: Certificate-Based Key Management, Request for Comments 1422. Network Working Group (1993)","DOI":"10.17487\/rfc1422"},{"key":"7_CR9","volume-title":"ML for Working Programmer","author":"L.C. Paulson","year":"1991","unstructured":"Paulson, L.C.: ML for Working Programmer. Cambridge University Press, Cambridge (1991)"},{"issue":"1-2","key":"7_CR10","doi-asserted-by":"crossref","first-page":"85","DOI":"10.3233\/JCS-1998-61-205","volume":"6","author":"L.C. Paulson","year":"1998","unstructured":"Paulson, L.C.: The inductive approach to verifying cryptographic protocols. Journal of Computer Security\u00a06(1-2), 85\u2013128 (1998)","journal-title":"Journal of Computer Security"},{"issue":"1","key":"7_CR11","first-page":"72","volume":"10","author":"D. Trcek","year":"1994","unstructured":"Trcek, D.: Organization of certification authorities in a global network. Computer Security Journal\u00a010(1), 72\u201381 (1994)","journal-title":"Computer Security Journal"},{"key":"7_CR12","doi-asserted-by":"crossref","first-page":"107","DOI":"10.3233\/JCS-1993-22-304","volume":"2","author":"T.Y.C. Woo","year":"1993","unstructured":"Woo, T.Y.C., Lam, S.S.: Authorization in distributed systems: A new approach. Journal of Computer Security\u00a02, 107\u2013136 (1993)","journal-title":"Journal of Computer Security"}],"container-title":["Lecture Notes in Computer Science","Public Key Cryptography"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-46588-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:37:10Z","timestamp":1558294630000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-46588-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540669678","9783540465881"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-46588-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}