Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types

This publication has 6 references indexed in Scilit:

• Data Access Specification and the Most Powerful Symbolic Attacker in MSR
  Published by Springer Nature ,2003
• A Concurrent Logical Framework I: Judgments and Properties
  Published by Defense Technical Information Center (DTIC) ,2003
• A meta-notation for protocol analysis
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Specification and proof in membership equational logic
  Theoretical Computer Science, 2000
• Conditional rewriting logic as a unified model of concurrency
  Theoretical Computer Science, 1992
• Efficient and timely mutual authentication
  ACM SIGOPS Operating Systems Review, 1987