%0 Conference Paper %1 conf/csfw/ButlerCJS02 %A Butler, Frederick %A Cervesato, Iliano %A Jaggard, Aaron D. %A Scedrov, Andre %B CSFW %D 2002 %I IEEE Computer Society %K dblp %P 175- %T A Formal Analysis of Some Properties of Kerberos 5 Using MSR. %U http://dblp.uni-trier.de/db/conf/csfw/csfw2002.html#ButlerCJS02 %@ 0-7695-1689-0

@inproceedings{conf/csfw/ButlerCJS02, added-at = {2023-03-24T00:00:00.000+0100}, author = {Butler, Frederick and Cervesato, Iliano and Jaggard, Aaron D. and Scedrov, Andre}, biburl = {https://www.bibsonomy.org/bibtex/24b3528797d8d6cd71e81c68961173bad/dblp}, booktitle = {CSFW}, crossref = {conf/csfw/2002}, ee = {https://doi.ieeecomputersociety.org/10.1109/CSFW.2002.1021815}, interhash = {0969f99e10a5fa438232d5f0403d17d1}, intrahash = {4b3528797d8d6cd71e81c68961173bad}, isbn = {0-7695-1689-0}, keywords = {dblp}, pages = {175-}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T11:43:07.000+0200}, title = {A Formal Analysis of Some Properties of Kerberos 5 Using MSR.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csfw2002.html#ButlerCJS02}, year = 2002 }