CapFlow: A Capability-Based DIFC System

This publication has 10 references indexed in Scilit:

• Practical Fine-Grained Information Flow Control Using Laminar
  ACM Transactions on Programming Languages and Systems, 2014
• seL4: From General Purpose to a Proof of Information Flow Enforcement
  2013
• Sharing Mobile Code Securely with Information Flow Control
  2012
• Fine-Grained Information Flow Analysis and Enforcement in a Java Virtual Machine
  2007
• Language-based information-flow security
  IEEE Journal on Selected Areas in Communications, 2003
• EROS
  1999
• A decentralized model for information flow control
  1997
• Information flow control in object-oriented systems
  IEEE Transactions on Knowledge and Data Engineering, 1997
• A Linear Time Algorithm for Deciding Subject Security
  Journal of the ACM, 1977
• A lattice model of secure information flow
  Communications of the ACM, 1976