Pages that link to "Item:Q4676153"
From MaRDI portal
The following pages link to Stack-based access control and secure information flow (Q4676153):
Displaying 11 items.
- Typing access control and secure information flow in sessions (Q462485) (← links)
- Relational bytecode correlations (Q710672) (← links)
- Towards imperative modules: reasoning about invariants and sharing of mutable state (Q854171) (← links)
- Observational purity and encapsulation (Q882452) (← links)
- Formalizing non-interference for a simple bytecode language in Coq (Q931434) (← links)
- Specification and static enforcement of scheduler-independent noninterference in a middleweight Java (Q1749145) (← links)
- Noninterference in a predicative polymorphic calculus for access control (Q2339144) (← links)
- Formal verification of side-channel countermeasures using self-composition (Q2442950) (← links)
- Roles, stacks, histories: A triple for Hoare (Q3021420) (← links)
- Relational Decomposition (Q3087994) (← links)
- A certified lightweight non-interference Java bytecode verifier (Q5400855) (← links)