Automata-Based Confidentiality Monitoring

This publication has 23 references indexed in Scilit:

• Computability classes for enforcement mechanisms
  ACM Transactions on Programming Languages and Systems, 2006
• Natural semantics
  Published by Springer Nature ,2005
• Edit automata: enforcement mechanisms for run-time security policies
  International Journal of Information Security, 2005
• Enforcing Non-safety Security Policies with Program Monitors
  Published by Springer Nature ,2005
• Stack-based access control and secure information flow
  Journal of Functional Programming, 2005
• Language-based information-flow security
  IEEE Journal on Selected Areas in Communications, 2003
• Information flow inference for ML
  ACM Transactions on Programming Languages and Systems, 2003
• Enforceable security policies
  ACM Transactions on Information and System Security, 2000
• A security flow control algorithm and its denotational semantics correctness proof
  Formal Aspects of Computing, 1992
• Information transmission in computational systems
  ACM SIGOPS Operating Systems Review, 1977