Pages that link to "Item:Q5936652"

The following pages link to A per model of secure information flow in sequential programs (Q5936652):

Displaying 23 items.

• Compositional refinement in agent-based security protocols (Q432140) (← links)
• Adjunctions on the lattices of partitions and of partial partitions (Q607553) (← links)
• Idempotent block splitting on partial partitions. I: Isotone operators (Q634752) (← links)
• Compile-time detection of information flow in sequential programs (Q826055) (← links)
• A temporal logic for asynchronous hyperproperties (Q832224) (← links)
• The shadow knows: refinement and security in sequential programs (Q923889) (← links)
• Linearity and bisimulation (Q997996) (← links)
• A semantic approach to secure information flow (Q1566911) (← links)
• A demonic lattice of information (Q1708718) (← links)
• Optimality and condensing of information flow through linear refinement (Q2464935) (← links)
• Semantic models for the security of sequential and concurrent programs (Q2724215) (← links)
• Information Flow Analysis for Valued-Indexed Data Security Compartments (Q2830034) (← links)
• Secured information flow for asynchronous sequential processes (Q2864389) (← links)
• Modelling declassification policies using abstract domain completeness (Q3103614) (← links)
• (Q4473608) (← links)
• A monadic analysis of information flow security with mutable state (Q4676158) (← links)
• Model-Driven Information Flow Security for Component-Based Systems (Q5170740) (← links)
• What You Lose is What You Leak: Information Leakage in Declassification Policies (Q5262929) (← links)
• Deriving Bisimulations by Simplifying Partitions (Q5452714) (← links)
• Mechanizing Mathematical Reasoning (Q5717455) (← links)
• Quantification of integrity (Q5740622) (← links)
• Timing-Sensitive Information Flow Analysis for Synchronous Systems (Q5862523) (← links)
• Quantifying Probabilistic Information Flow in Computational Reactive Systems (Q5862670) (← links)