A logical approach to multilevel security of probabilistic systems

This publication has 21 references indexed in Scilit:

• The use of logic in the analysis of cryptographic protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A logic for reasoning about security
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A logic of communication in hostile environment
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Knowledge and common knowledge in a distributed environment
  Journal of the ACM, 1990
• Information flow in nondeterministic systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• Using Reasoning About Knowledge to Analyze Distributed Systems
  Annual Review of Computer Science, 1987
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• A probabilistic dynamic logic
  Journal of Computer and System Sciences, 1984
• Probability
  Published by Springer Nature ,1984
• Security Policies and Security Models
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1982