Typed MSR: Syntax and Examples

This publication has 10 references indexed in Scilit:

• A different look at secure distributed computation
  2002
• Relating strands and multiset rewriting for security protocol analysis
  2002
• Interpreting Strands in Linear Logic
  2000
• A Calculus for Cryptographic Protocols: The Spi Calculus
  Information and Computation, 1999
• Specifying Real-Time Finite-State Systems in Linear Logic (Extended Abstract)
  Electronic Notes in Theoretical Computer Science, 1998
• The NRL Protocol Analyzer: An Overview
  The Journal of Logic Programming, 1996
• A note on the use of timestamps as nonces
  ACM SIGOPS Operating Systems Review, 1993
• A logic of authentication
  Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences, 1989
• On the security of public key protocols
  IEEE Transactions on Information Theory, 1983
• Using encryption for authentication in large networks of computers
  Communications of the ACM, 1978