Analysing Time Dependent Security Properties in CSP Using PVS

This publication has 9 references indexed in Scilit:

• Verifying authentication protocols in CSP
  IEEE Transactions on Software Engineering, 1998
• Timewise refinement for communicating processes
  Science of Computer Programming, 1997
• Using a PVS embedding of CSP to verify authentication protocols
  Published by Springer Nature ,1997
• Language Generation and Verification in the NRL Protocol Analyzer
  Published by Defense Technical Information Center (DTIC) ,1996
• On the security of recent protocols
  Information Processing Letters, 1995
• Isabelle
  Published by Springer Nature ,1994
• PVS: A prototype verification system
  Lecture Notes in Computer Science, 1992
• A logic of authentication
  Published by Association for Computing Machinery (ACM) ,1989
• On the security of public key protocols
  IEEE Transactions on Information Theory, 1983