{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T03:01:12Z","timestamp":1761102072458},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,10,4]],"date-time":"2013-10-04T00:00:00Z","timestamp":1380844800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Inf. Secur."],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1007\/s10207-013-0213-x","type":"journal-article","created":{"date-parts":[[2013,10,3]],"date-time":"2013-10-03T04:56:58Z","timestamp":1380776218000},"page":"217-228","source":"Crossref","is-referenced-by-count":2,"title":["Toward a secure Kerberos key exchange with smart cards"],"prefix":"10.1007","volume":"13","author":[{"given":"Nikos","family":"Mavrogiannopoulos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Pashalidis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bart","family":"Preneel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,10,4]]},"reference":[{"key":"213_CR1","doi-asserted-by":"crossref","unstructured":"Anderson, R.J., Needham, R.M.: Robustness principles for public key protocols. In: Advances in Cryptology\u2014CRYPTO, volume 963 of Lecture Notes in Computer Science, pp. 236\u2013247. Springer (1995)","DOI":"10.1007\/3-540-44750-4_19"},{"issue":"2","key":"213_CR2","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/s10207-011-0125-6","volume":"10","author":"M Backes","year":"2011","unstructured":"Backes, M., Cervesato, I., Jaggard, A.D., Scedrov, A., Tsay, J.-K.: Cryptographically sound security proofs for basic and public-key Kerberos. Int. J. Inf. Secur. 10(2), 107\u2013134 (2011)","journal-title":"Int. J. Inf. Secur."},{"issue":"1","key":"213_CR3","doi-asserted-by":"crossref","first-page":"87","DOI":"10.3233\/JCS-2003-11103","volume":"11","author":"G Bella","year":"2003","unstructured":"Bella, G.: Inductive verification of smart card protocols. J. Comput. Secur. 11(1), 87\u2013132 (2003)","journal-title":"J. Comput. Secur."},{"key":"213_CR4","doi-asserted-by":"crossref","unstructured":"Bellare, M., Canetti, R., Krawczyk H.: A modular approach to the design and analysis of authentication and key exchange protocols. Cryptology ePrint Archive, Report 1998\/009 (1998)","DOI":"10.1145\/276698.276854"},{"key":"213_CR5","doi-asserted-by":"crossref","unstructured":"Bellare, M., Rogaway, P.: Provably secure session key distribution: the three party case. In: Proceedings of the Twenty-Seventh Annual ACM Symposium on Theory of Computing, STOC\u201995, pp. 57\u201366. ACM (1995)","DOI":"10.1145\/225058.225084"},{"key":"213_CR6","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1145\/381906.381946","volume":"20","author":"SM Bellovin","year":"1990","unstructured":"Bellovin, S.M., Merritt, M.: Limitations of the Kerberos authentication system. Comput. Commun. Rev. 20, 119\u2013132 (1990)","journal-title":"Comput. Commun. Rev."},{"key":"213_CR7","doi-asserted-by":"crossref","unstructured":"Blake-Wilson, S., Johnson, D., Menezes, A.: Key agreement protocols and their security analysis. In: Crytography and Coding, volume 1355 of Lecture Notes in Computer Science, pp. 30\u201345. Springer (1997)","DOI":"10.1007\/BFb0024447"},{"key":"213_CR8","doi-asserted-by":"crossref","unstructured":"Blanchet, B., Jaggard, A.D., Scedrov, A., Tsay, J.-K.: Computationally sound mechanized proofs for basic and public-key Kerberos. In: Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security (ASIACCS), pp. 87\u201399 (2008)","DOI":"10.1145\/1368310.1368326"},{"key":"213_CR9","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/77648.77649","volume":"8","author":"M Burrows","year":"1990","unstructured":"Burrows, M., Abadi, M., Needham, R.: A logic of authentication. ACM Trans. Comput. Syst. 8, 18\u201336 (1990)","journal-title":"ACM Trans. Comput. Syst."},{"key":"213_CR10","doi-asserted-by":"crossref","unstructured":"Burrows, M., Kaufman, C., Lampson, B., Abadi, M., Abadi, M.: Authentication and delegation with smart-cards. In: Science of Computer Programming, pp. 326\u2013345 (1992)","DOI":"10.1007\/3-540-54415-1_53"},{"key":"213_CR11","doi-asserted-by":"crossref","unstructured":"Canetti, R., Goldreich, O., Goldwasser, S., Micali, S.: Resettable zero-knowledge (extended abstract). In: STOC, pp. 235\u2013244. ACM (2000)","DOI":"10.1145\/335305.335334"},{"key":"213_CR12","doi-asserted-by":"crossref","unstructured":"Cervesato, I., Jaggard, A.D., Scedrov, A., Tsay, J.-K., Walstad, C.: Breaking and fixing public-key Kerberos. Information and Computation, 206(2\u20134):402\u2013424, 2008. Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA \u201906)","DOI":"10.1016\/j.ic.2007.05.005"},{"key":"213_CR13","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/j.entcs.2007.02.012","volume":"172","author":"A Datta","year":"2007","unstructured":"Datta, A., Derek, A., Mitchell, J.C., Roy, A.: Protocol composition logic (PCL). Electron. Notes Theor. Comput. Sci. 172, 311\u2013358 (2007)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"213_CR14","unstructured":"de Clerq, J.: Microsoft TechNet: Smart Cards. Available at: http:\/\/technet.microsoft.com\/en-us\/library\/dd277362.aspx (2011)"},{"key":"213_CR15","doi-asserted-by":"crossref","unstructured":"Dierks, T., Rescorla, E.: The Transport Layer Security (TLS) Protocol Version 1.2. RFC 5246 (Proposed Standard) (2008)","DOI":"10.17487\/rfc5246"},{"issue":"2","key":"213_CR16","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D Dolev","year":"1983","unstructured":"Dolev, D., Yao, A.: On the security of public key protocols. IEEE Trans. Inf. Theory 29(2), 198\u2013208 (1983)","journal-title":"IEEE Trans. Inf. Theory"},{"key":"213_CR17","doi-asserted-by":"crossref","unstructured":"Gong, L., Needham, R., Yahalom, R.: Reasoning about belief in cryptographic protocols. In: Proceedings 1990 IEEE Symposium on Research in Security and Privacy, pp. 234\u2013248. IEEE Computer Society Press (1990)","DOI":"10.1109\/RISP.1990.63854"},{"key":"213_CR18","doi-asserted-by":"crossref","unstructured":"Kaufman, C., Hoffman, P., Nir, Y., Eronen, P.: Internet Key Exchange Protocol Version 2 (IKEv2). RFC 5996 (Standards Track) (2010)","DOI":"10.17487\/rfc5996"},{"key":"213_CR19","doi-asserted-by":"crossref","unstructured":"Mavrogiannopoulos, N., Pashalidis, A., Preneel, B.: Security implications in Kerberos by the introduction of smart cards. In: Proceedings of the 7th ACM Symposium on Information, Computer and Communications Security (ASIACCS). ACM (2012)","DOI":"10.1145\/2414456.2414490"},{"key":"213_CR20","unstructured":"MIT Kerberos Consortium. PKINIT configuration. Available at: http:\/\/k5wiki.kerberos.org\/wiki\/Pkinit_configuration (2011)"},{"key":"213_CR21","doi-asserted-by":"crossref","unstructured":"Neuman, C., Yu, T., Hartman, S., Raeburn, K.: The Kerberos Network Authentication Service (V5). RFC 4120 (Proposed Standard) (2005)","DOI":"10.17487\/rfc4120"},{"key":"213_CR22","unstructured":"Paulson, L.C.: Isabelle: The next 700 theorem provers. arXiv, preprint cs\/9301106 (2000)"},{"key":"213_CR23","doi-asserted-by":"crossref","unstructured":"Roy, A., Datta, A., Mitchell, J.: Formal proofs of cryptographic security of Diffie-Hellman-based protocols. In: Barthe, G., Fournet, C. (eds.) Trustworthy Global Computing, volume 4912 of Lecture Notes in Computer Science, pp. 312\u2013329. Springer (2008)","DOI":"10.1007\/978-3-540-78663-4_21"},{"key":"213_CR24","unstructured":"Schneier, B., Shostack, A.: Breaking up is hard to do: modeling security threats for smart cards. In: First USENIX Symposium on Smart Cards (1999)"},{"key":"213_CR25","unstructured":"Schoenmakers, B.: Personal communication"},{"key":"213_CR26","doi-asserted-by":"crossref","unstructured":"Shay, R., Komanduri, S., Kelley, P.G., Leon, P.G., Mazurek, M.L., Bauer, L., Christin, N., Cranor, L.F.: Encountering stronger password requirements: user attitudes and behaviors. In: Proceedings of the Sixth Symposium on Usable Privacy and Security, SOUPS \u201910, pp. 2:1\u20132:20. ACM (2010)","DOI":"10.1145\/1837110.1837113"},{"key":"213_CR27","unstructured":"Shoup, V.: On formal models for secure key exchange. IACR ePrint archive 1999\/012 (1999)"},{"key":"213_CR28","doi-asserted-by":"crossref","unstructured":"Shoup, V., Rubin, A.D.: Session key distribution using smart cards. In: Advances in Cryptology\u2014EUROCRYPT, pp. 321\u2013331. Springer (1996)","DOI":"10.1007\/3-540-68339-9_28"},{"key":"213_CR29","doi-asserted-by":"crossref","unstructured":"Ylonen, T., Lonvick, C.: The Secure Shell (SSH) Protocol Architecture. RFC 4251 (Proposed Standard) (2006)","DOI":"10.17487\/rfc4251"},{"key":"213_CR30","doi-asserted-by":"crossref","unstructured":"Zhu, L., Tung, B.: Public Key Cryptography for Initial Authentication in Kerberos (PKINIT). RFC 4556 (Proposed Standard), (2006)","DOI":"10.17487\/rfc4556"}],"container-title":["International Journal of Information Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-013-0213-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10207-013-0213-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-013-0213-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,28]],"date-time":"2019-07-28T13:50:41Z","timestamp":1564321841000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10207-013-0213-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10,4]]},"references-count":30,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,6]]}},"alternative-id":["213"],"URL":"https:\/\/doi.org\/10.1007\/s10207-013-0213-x","relation":{},"ISSN":["1615-5262","1615-5270"],"issn-type":[{"value":"1615-5262","type":"print"},{"value":"1615-5270","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,10,4]]}}}