Searching for "On Information Flow Security Models." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Beyond stack inspection: A unified access-control and information-flow security model
- …Beyond Stack Inspection: A Unified Access-Control and Information-Flow Security Model Marco…
- Cited by 10 (2 self) – Add To MetaCart
-
Simulation and verification of information flow paths for access control policies specified
- …. We describe a Colored Petri Net model that allows simulating and verifying information flow security…
- Add To MetaCart
-
On the design of access control to prevent sensitive information leakage in distributed object
- … components of the information flow security model and provides the implemented definitions that determine…
- Add To MetaCart
-
Critical System Properties: Survey and Taxonomy
- … Processing Letters, 20:67--70, 1985. [McL90] John McLean. Security models and information flow…
- Cited by 55 (2 self) – Add To MetaCart
-
Quantified interference: information theory and information flow
- … model. Gray makes an explicit connection with information theory: he shows that, if the flow security…
- Cited by 9 (0 self) – Add To MetaCart
-
Refactoring programs to secure information flows
- … c○ 2006 ACM 1-59593-374-3/06/0006. . . $5.00. Information flow security models the flow…
- Cited by 4 (0 self) – Add To MetaCart
-
Risk Assessment in Distributed Authorization
- … in Sect. 5. 3.2.1 Bound-of-Risks In [8], an information flow security model is presented where all…
- Add To MetaCart
Showing 1 through 7.
