A lattice model of secure information flow
From MaRDI portal
Cited in
(51)- Cryptographically-enforced hierarchical access control with multiple keys
- A security flow control algorithm and its denotational semantics correctness proof
- The enforcement of security policies for computation
- Automated enforcement for relaxed information release with reference points
- Data flow analysis from capability lists, with application to RBAC
- Multilevel transitive and intransitive non-interference, causally
- Program synthesis for interactive-security systems
- Controlling file access with types
- Secrecy and group creation
- Abstract interpretation of operational semantics for secure information flow.
- Information flow for Algol-like languages
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Gaining trust by tracing security protocols
- Normalising Lustre preserves security
- Secure information flow connections
- A model of systems with modes and mode transitions
- Verifying constant-time implementations by abstract interpretation
- Information flow control in software DB units based on formal verification
- Agda formalization of a security-preserving translation from flow-sensitive to flow-insensitive security types
- Instruction-level security analysis for information flow in stack-based assembly languages
- Mediating secure information flow policies
- A formal model for access control with supporting spatial context
- Hybrid statistical estimation of mutual information and its application to information flow
- Integrating security constraints into fixed priority real-time schedulers
- Compiling Information-Flow Security to Minimal Trusted Computing Bases
- Information leakage analysis by abstract interpretation
- Non-disclosure for distributed mobile code
- Self-adaptation and secure information flow in multiparty communications
- Flow Policy Awareness for Distributed Mobile Code
- Secure guarded commands
- Secure Multi-party Computation: Information Flow of Outputs and Game Theory
- Information flow in object-oriented software
- Information theory and security: Quantitative information flow
- Thread algebra for noninterference
- Confined types in Java
- Computational probabilistic non-interference
- Multi-level Access Control, Directed Graphs and Partial Orders in Flow Control for Data Secrecy and Privacy
- Can you trust your data?
- A logical approach to multilevel security of probabilistic systems
- Flexible dynamic information flow control in the presence of exceptions
- Algebraic foundations for quantitative information flow
- Security property based administrative controls
- Quantifying probabilistic information flow in computational reactive systems
- Information Flow Tracking for Side-Effectful Libraries
- Hybrid information flow control for low-level code
- A dependent dependency calculus
- Only connect, securely
- An interval-based abstraction for quantifying information flow
- Probabilistic output analysis by program manipulation
- Model checking the observational determinism security property using PROMELA and SPIN
- Information flow analysis of scientific workflows
This page was built for publication: A lattice model of secure information flow
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4085248)
