The following pages link to (Q4798029):
Displaying 36 items.
- Information flow in systems with schedulers. II: Refinement (Q383362) (← links)
- Synthesis of opaque systems with static and dynamic masks (Q453510) (← links)
- Typing access control and secure information flow in sessions (Q462485) (← links)
- A calculus of trustworthy ad hoc networks (Q470043) (← links)
- A comparison of semantic models for noninterference (Q604479) (← links)
- Securing interaction between threads and the scheduler in the presence of synchronization (Q843217) (← links)
- Tempus fugit: How to plug it (Q997994) (← links)
- Multilevel transitive and intransitive non-interference, causally (Q1680560) (← links)
- Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types (Q1770362) (← links)
- Semantic models for information flow (Q1826632) (← links)
- Rule formats for compositional non-interference properties (Q1878717) (← links)
- Verifying persistent security properties (Q1886452) (← links)
- CoCon: a conference management system with formally verified document confidentiality (Q2031419) (← links)
- Information flow security in boundary ambients (Q2482455) (← links)
- A static analysis of cryptographic processes: the denotational approach (Q2484412) (← links)
- Controlling information release in the \(\pi\)-calculus (Q2643083) (← links)
- On CSP refinement tests that run multiple copies of a process (Q2810978) (← links)
- Secured information flow for asynchronous sequential processes (Q2864389) (← links)
- Non-interference control synthesis for security timed automata (Q2864391) (← links)
- On Intransitive Non-interference in Some Models of Concurrency (Q3092180) (← links)
- (Q3384915) (← links)
- Ugo Montanari and Software Verification (Q3507392) (← links)
- Synthesis of Non-Interferent Timed Systems (Q3648818) (← links)
- (Q4493894) (← links)
- Taming Message-Passing Communication in Compositional Reasoning About Confidentiality (Q5055995) (← links)
- Interleaving vs True Concurrency: Some Instructive Security Examples (Q5100754) (← links)
- Persistent Stochastic Non-Interference (Q5158656) (← links)
- Non-interference by Unfolding (Q5166764) (← links)
- Model-Driven Information Flow Security for Component-Based Systems (Q5170740) (← links)
- Towards SOS Meta-Theory for Language-Based Security (Q5262972) (← links)
- Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets (Q5268427) (← links)
- Action Refinement in Process Algebra and Security Issues (Q5504602) (← links)
- Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract) (Q5739351) (← links)
- Foundations of Security Analysis and Design II (Q5901853) (← links)
- On the security and safety of AbU systems (Q6045050) (← links)
- Branching bisimulation semantics enables noninterference analysis of reversible systems (Q6535463) (← links)
