Runtime verification of cryptographic protocols

This publication has 14 references indexed in Scilit:

• On the design of more secure software-intensive systems by use of attack patterns
  Information and Software Technology, 2007
• Model-Driven Security Engineering for Trust Management in SECTET
  Journal of Software, 2007
• Model driven security
  ACM Transactions on Software Engineering and Methodology, 2006
• An authentication logic with formal semantics supporting synchronization, revocation, and recency
  IEEE Transactions on Software Engineering, 2002
• Enforceable security policies
  ACM Transactions on Information and System Security, 2000
• Prudent engineering practice for cryptographic protocols
  IEEE Transactions on Software Engineering, 1996
• Safety, liveness and fairness in temporal logic
  Formal Aspects of Computing, 1994
• A logic of authentication
  Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences, 1989
• Recognizing safety and liveness
  Distributed Computing, 1987
• On the security of public key protocols
  IEEE Transactions on Information Theory, 1983