Pages that link to "Item:Q2024334"
From MaRDI portal
The following pages link to An algebraic approach for reasoning about information flow (Q2024334):
Displaying 6 items.
- An algebraic approach for reasoning about information flow (Q2024334) (← links)
- Some aspects of algorithm transformation based on the formalization of information connections (Q2654972) (← links)
- An automata based approach for verifying information flow properties (Q2848479) (← links)
- Computing Information Flow Using Symbolic Model-Checking (Q2978540) (← links)
- A Logical System for Modular Information Flow Verification (Q3296345) (← links)
- Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy (Q5166664) (← links)