Unifying Equivalence-Based Definitions of Protocol Security (2004)  (Make Corrections)  (4 citations) Anupam Datta, Ralf Küsters, John C. Mitchell, Ajith Ramanathan, Vitaly Shmatikov   Home/Search   Context   Related

View or download: stanford.edu/people/j...dkmrswits04.ps Cached:  PS.gz  PS  PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.   PS.gz  PS  PDF   Image  Update  Help From:  stanford.edu/peopl...publications (more) (Enter author homepages)

Rate this article: (best)   Comment on this article

@misc{ datta04unifying,
  author = "A. Datta and R. Kusters and J. Mitchell and A. Ramanathan and V. Shmatikov",
  title = "Unifying Equivalence-Based Definitions of Protocol Security",
  text = "A. Datta, R. Kusters, J. C. Mitchell, A. Ramanathan, V. Shmatikov, Unifying
    Equivalence-Based Definitions of Protocol Security, in Proc. of Workshop
    on Issues in the Theory of Security, WITS'04, 2004.",
  year = "2004",
  url = "citeseer.ist.psu.edu/datta04unifying.html" }