Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types (2005)  (Make Corrections)  (1 citation) Iliano Cervesato, Mark-Oliver Stehr   Home/Search   Context   Related

View or download: stanford.edu/~iliano/paper...hocs05.pdf 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/~iliano/papers/ (more) (Enter author homepages)

Rate this article: (best)   Comment on this article

@misc{ cervesato04representing,
  author = "I. Cervesato and M. Stehr",
  title = "Representing the MSR Cryptoprotocol Specification Language in an Extension
    of Rewriting Logic with Dependent Types",
  text = "I. Cervesato, M.-O. Stehr, Representing the MSR Cryptoprotocol Specification
    Language in an Extension of Rewriting Logic with Dependent Types, in: N.
    Mart- Oliet (Ed.), Fifth International Workshop on Rewriting Logic and its
    Applications --- WRLA'04, Elsevier ENTCS 117, Barcelona, Spain, 2004, pp.
    183--207.",
  year = "2004",
  url = "citeseer.ist.psu.edu/cervesato05representing.html" }