Pages that link to "Item:Q4085248"

The following pages link to A lattice model of secure information flow (Q4085248):

Displaying 48 items.

• Integrating security constraints into fixed priority real-time schedulers (Q298053) (← links)
• Self-adaptation and secure information flow in multiparty communications (Q315296) (← links)
• Model checking the observational determinism security property using PROMELA and SPIN (Q903490) (← links)
• Information flow analysis of scientific workflows (Q980980) (← links)
• Cryptographically-enforced hierarchical access control with multiple keys (Q1035675) (← links)
• A security flow control algorithm and its denotational semantics correctness proof (Q1203126) (← links)
• The enforcement of security policies for computation (Q1248369) (← links)
• Automated enforcement for relaxed information release with reference points (Q1616187) (← links)
• Data flow analysis from capability lists, with application to RBAC (Q1621505) (← links)
• Multilevel transitive and intransitive non-interference, causally (Q1680560) (← links)
• Program synthesis for interactive-security systems (Q1696589) (← links)
• Controlling file access with types (Q1744439) (← links)
• Secrecy and group creation (Q1763430) (← links)
• Abstract interpretation of operational semantics for secure information flow. (Q1853040) (← links)
• Information flow for Algol-like languages (Q1869976) (← links)
• A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
• Gaining trust by tracing security protocols (Q2095430) (← links)
• Normalising Lustre preserves security (Q2119981) (← links)
• Secure information flow connections (Q2141283) (← links)
• A model of systems with modes and mode transitions (Q2141292) (← links)
• Verifying constant-time implementations by abstract interpretation (Q2167720) (← links)
• Information flow control in software DB units based on formal verification (Q2172738) (← links)
• Agda formalization of a security-preserving translation from flow-sensitive to flow-insensitive security types (Q2229149) (← links)
• Instruction-level security analysis for information flow in stack-based assembly languages (Q2381502) (← links)
• Mediating secure information flow policies (Q2381505) (← links)
• A formal model for access control with supporting spatial context (Q2385414) (← links)
• Hybrid statistical estimation of mutual information and its application to information flow (Q2414250) (← links)
• Compiling Information-Flow Security to Minimal Trusted Computing Bases (Q3000581) (← links)
• Information Leakage Analysis by Abstract Interpretation (Q3075542) (← links)
• Non-disclosure for distributed mobile code (Q3103611) (← links)
• Flow Policy Awareness for Distributed Mobile Code (Q3184665) (← links)
• Secure Guarded Commands (Q3297842) (← links)
• Secure Multi-party Computation: Information Flow of Outputs and Game Theory (Q3304808) (← links)
• Information Flow in Object-Oriented Software (Q3453646) (← links)
• Information Theory and Security: Quantitative Information Flow (Q3575030) (← links)
• Thread algebra for noninterference (Q3625692) (← links)
• Confined types in Java (Q4791055) (← links)
• Computational Probabilistic Non-interference (Q5030175) (← links)
• Multi-level Access Control, Directed Graphs and Partial Orders in Flow Control for Data Secrecy and Privacy (Q5056067) (← links)
• Can you trust your data (Q5096755) (← links)
• A logical approach to multilevel security of probabilistic systems (Q5137350) (← links)
• Flexible dynamic information flow control in the presence of exceptions (Q5371997) (← links)
• Algebraic foundations for quantitative information flow (Q5740627) (← links)
• Security Property Based Administrative Controls (Q5862311) (← links)
• Quantifying Probabilistic Information Flow in Computational Reactive Systems (Q5862670) (← links)
• Information Flow Tracking for Side-Effectful Libraries (Q5881538) (← links)
• Hybrid information flow control for low-level code (Q6041280) (← links)
• A dependent dependency calculus (Q6166797) (← links)