Security protocols, properties, and their monitoring

This publication has 14 references indexed in Scilit:

• Towards security monitoring patterns
  Published by Association for Computing Machinery (ACM) ,2007
• Distributed usage control
  Communications of the ACM, 2006
• PSL Model Checking and Run-Time Verification Via Testers
  Published by Springer Nature ,2006
• Monitoring of Real-Time Properties
  Published by Springer Nature ,2006
• A framework for concrete reputation-systems with applications to history-based access control
  Published by Association for Computing Machinery (ACM) ,2005
• Efficient monitoring of safety properties
  International Journal on Software Tools for Technology Transfer, 2003
• 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
• Recognizing safety and liveness
  Distributed Computing, 1987