The security checker: a semantics-based tool for the verification of security properties

This publication has 7 references indexed in Scilit:

• A fast algorithm for deciding bisimilarity of normed context-free processes
  Published by Springer Nature ,2005
• A taxonomy of trace-based security properties for CCS
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A Classification of Security Properties for Process Algebras1
  Journal of Computer Security, 1995
• The concurrency workbench
  ACM Transactions on Programming Languages and Systems, 1993
• CCS expressions, finite state processes, and three problems of equivalence
  Information and Computation, 1990
• Information flow in nondeterministic systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• Security Policies and Security Models
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1982