Mathematical Models of Computer Security

This publication has 40 references indexed in Scilit:

• The Chinese Wall security policy
  2003
• Minimal cryptosystems and defining subliminal-freeness
  2002
• A Calculus for Cryptographic Protocols: The Spi Calculus
  Information and Computation, 1999
• The Compositional Security Checker: a tool for the verification of information flow security properties
  IEEE Transactions on Software Engineering, 1997
• A brief history of Timed CSP
  Theoretical Computer Science, 1995
• A Classification of Security Properties for Process Algebras1
  Journal of Computer Security, 1995
• Testing equivalence as a bisimulation equivalence
  Formal Aspects of Computing, 1993
• A Comparison of Commercial and Military Computer Security Policies
  1987
• An improved failures model for communicating processes
  1985
• Secure Computer System: Unified Exposition and Multics Interpretation
  1976