{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:58:04Z","timestamp":1750309084396,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,1,10]],"date-time":"2005-01-10T00:00:00Z","timestamp":1105315200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,1,10]]},"DOI":"10.1145\/1045405.1045408","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T08:31:47Z","timestamp":1123057907000},"page":"12-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Specifying Kerberos 5 cross-realm authentication"],"prefix":"10.1145","author":[{"given":"I.","family":"Cervesato","sequence":"first","affiliation":[{"name":"Tulane University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. D.","family":"Jaggard","sequence":"additional","affiliation":[{"name":"Tulane University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Scedrov","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Walstad","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,1,10]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"A Secure European System for Applications in a Multi-vendor Environment URL ON THIS PAGE.  A Secure European System for Applications in a Multi-vendor Environment URL ON THIS PAGE."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/646647.699204"},{"key":"e_1_3_2_1_4_1","first-page":"12","volume":"3","author":"Bella G.","year":"1997","unstructured":"G. Bella and E. Riccobene , Formal Analysis of the Kerberos Authentication System, J. Universal Comp. Sci. 3 ( 1997 ), no. 12 , 1337--1381. G. Bella and E. Riccobene, Formal Analysis of the Kerberos Authentication System, J. Universal Comp. Sci. 3 (1997), no. 12, 1337--1381.","journal-title":"Formal Analysis of the Kerberos Authentication System, J. Universal Comp. Sci."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1986.10009"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/794201.795172"},{"key":"e_1_3_2_1_8_1","unstructured":"USC CCSS The Kerberos Network Authentication Service URL BELOW.  USC CCSS The Kerberos Network Authentication Service URL BELOW."},{"key":"e_1_3_2_1_9_1","volume-title":"Proc. of the First International Workshop on Mathematical Methods, Models and Architectures for Computer Network Security --- MMM'01","author":"Cervesato I.","year":"2001","unstructured":"I. Cervesato , Typed MSR : Syntax and Examples , Proc. of the First International Workshop on Mathematical Methods, Models and Architectures for Computer Network Security --- MMM'01 , Springer-Verlag , 2001 , St. Petersburg, Russia, 21-23 May 2001. I. Cervesato, Typed MSR: Syntax and Examples, Proc. of the First International Workshop on Mathematical Methods, Models and Architectures for Computer Network Security --- MMM'01, Springer-Verlag, 2001, St. Petersburg, Russia, 21-23 May 2001."},{"key":"e_1_3_2_1_10_1","volume-title":"First Workshop on Issues in the Theory of Security --- WITS'00","author":"Cervesato Iliano","year":"2000","unstructured":"Iliano Cervesato , Catherine Meadows , and Paul Syverson , Dolev-Yao is no better than Machiavelli , First Workshop on Issues in the Theory of Security --- WITS'00 ( Geneva, Switzerland) (P. Degano, ed.) , 2000 . Iliano Cervesato, Catherine Meadows, and Paul Syverson, Dolev-Yao is no better than Machiavelli, First Workshop on Issues in the Theory of Security --- WITS'00 (Geneva, Switzerland) (P. Degano, ed.), 2000."},{"key":"e_1_3_2_1_11_1","first-page":"29","volume":"2","author":"Dolev D.","year":"1983","unstructured":"D. Dolev and A. C. Yao , On the Security of Public-Key Protocols, IEEE Trans. on Information Theory 2 ( 1983 ), no. 29 , 198--208. D. Dolev and A. C. Yao, On the Security of Public-Key Protocols, IEEE Trans. on Information Theory 2 (1983), no. 29, 198--208.","journal-title":"On the Security of Public-Key Protocols, IEEE Trans. on Information Theory"},{"key":"e_1_3_2_1_12_1","first-page":"247","volume":"12","author":"Durgin N.","year":"2004","unstructured":"N. Durgin , P. Lincoln , J. Mitchell , and A. Scedrov , Multiset Rewriting and the Complexity of Bounded Security Protocols, Journal of Computer Security 12 ( 2004 ), 247 -- 311 . N. Durgin, P. Lincoln, J. Mitchell, and A. Scedrov, Multiset Rewriting and the Complexity of Bounded Security Protocols, Journal of Computer Security 12 (2004), 247--311.","journal-title":"Multiset Rewriting and the Complexity of Bounded Security Protocols, Journal of Computer Security"},{"key":"e_1_3_2_1_13_1","volume-title":"O'Reilly","author":"Garman Jason","year":"2003","unstructured":"Jason Garman , Kerberos : The Definitive Guide , O'Reilly , 2003 . Jason Garman, Kerberos: The Definitive Guide, O'Reilly, 2003."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-1993-22-305"},{"key":"e_1_3_2_1_15_1","volume-title":"September","author":"Hartman Sam","year":"2004","unstructured":"Sam Hartman , Personal communications , September 2004 . Sam Hartman, Personal communications, September 2004."},{"key":"e_1_3_2_1_16_1","volume-title":"Proc. COTIC '98","author":"Kanovich M.I.","year":"1998","unstructured":"M.I. Kanovich , M. Okada , and A. Scedrov , Specifying Real-Time Finite-State Systems in Linear Logic , Proc. COTIC '98 ( Nice, France), Electronic Notes in Theoretical Computer Science 16(1) , 1998 . M.I. Kanovich, M. Okada, and A. Scedrov, Specifying Real-Time Finite-State Systems in Linear Logic, Proc. COTIC '98 (Nice, France), Electronic Notes in Theoretical Computer Science 16(1), 1998."},{"key":"e_1_3_2_1_17_1","volume-title":"September","author":"Kohl J.","year":"1993","unstructured":"J. Kohl and C. Neuman , The Kerberos Network Authentication Service (V5) , September 1993 , Network Working Group Request for Comments : 1510, URL BELOW. J. Kohl and C. Neuman, The Kerberos Network Authentication Service (V5), September 1993, Network Working Group Request for Comments: 1510, URL BELOW."},{"key":"e_1_3_2_1_18_1","first-page":"141","volume-title":"Proc. of the IEEE Symposium on Security and Privacy, IEEE Computer Society Press","author":"Mitchell J. C.","year":"1997","unstructured":"J. C. Mitchell , M. Mitchell , and U. Stern , Automated Analysis of Cryptographic Protocols Using Mur\u00f8 , Proc. of the IEEE Symposium on Security and Privacy, IEEE Computer Society Press , 1997 , pp. 141 -- 153 . J. C. Mitchell, M. Mitchell, and U. Stern, Automated Analysis of Cryptographic Protocols Using Mur\u00f8, Proc. of the IEEE Symposium on Security and Privacy, IEEE Computer Society Press, 1997, pp. 141--153."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/359657.359659"},{"key":"e_1_3_2_1_20_1","first-page":"9","volume":"32","author":"Clifford Neuman B.","year":"1994","unstructured":"B. Clifford Neuman and Theodore Ts'o , Kerberos: An Authentication Service for Computer Networks , IEEE Communications 32 ( 1994 ), no. 9 , 33--38. B. Clifford Neuman and Theodore Ts'o, Kerberos: An Authentication Service for Computer Networks, IEEE Communications 32 (1994), no. 9, 33--38.","journal-title":"IEEE Communications"},{"key":"e_1_3_2_1_21_1","volume-title":"September 7","author":"Neuman Clifford","year":"2004","unstructured":"Clifford Neuman , John Kohl , Theodore Ts'o , Tom Yu , Sam Hartman , and Ken Raeburn , The Kerberos Network Authentication Service (V5) , September 7 2004 , Internet draft, expires 7 March 2005, URL BELOW. Clifford Neuman, John Kohl, Theodore Ts'o, Tom Yu, Sam Hartman, and Ken Raeburn, The Kerberos Network Authentication Service (V5), September 7 2004, Internet draft, expires 7 March 2005, URL BELOW."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.713329"},{"key":"e_1_3_2_1_23_1","unstructured":"Mark-Oliver Stehr Iliano Cervesato and Stefan Reich An execution environment for the MSR cryptoprotocol specification language URL BELOW.  Mark-Oliver Stehr Iliano Cervesato and Stefan Reich An execution environment for the MSR cryptoprotocol specification language URL BELOW."}],"event":{"name":"WITS05: Workshop on Issues in the Theory of Security 2005 ( co-located with POPL 2005 Conference )","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Long Beach California","acronym":"WITS05"},"container-title":["Proceedings of the 2005 workshop on Issues in the theory of security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1045405.1045408","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1045405.1045408","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:43:31Z","timestamp":1750286611000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1045405.1045408"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,1,10]]},"references-count":21,"alternative-id":["10.1145\/1045405.1045408","10.1145\/1045405"],"URL":"https:\/\/doi.org\/10.1145\/1045405.1045408","relation":{},"subject":[],"published":{"date-parts":[[2005,1,10]]},"assertion":[{"value":"2005-01-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}