Message Authentication through Non Interference

This publication has 19 references indexed in Scilit:

• CVS: a compiler for the analysis of cryptographic protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A Uniform Approach for the Definition of Security Properties
  Published by Springer Nature ,1999
• A Calculus for Cryptographic Protocols: The Spi Calculus
  Information and Computation, 1999
• Authentication via localized names
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1999
• Reasoning about cryptographic protocols in the spi calculus
  Published by Springer Nature ,1997
• The Compositional Security Checker: a tool for the verification of information flow security properties
  IEEE Transactions on Software Engineering, 1997
• A Classification of Security Properties for Process Algebras1
  Journal of Computer Security, 1995
• A logic of authentication
  Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences, 1989
• Testing equivalences for processes
  Theoretical Computer Science, 1984
• Security Policies and Security Models
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1982