Programming Languages and Systems
From MaRDI portal
Publication:5899016
Recommendations
Cited in
(23)- Backwards type analysis of asynchronous method calls
- Value sensitivity and observable abstract values for information flow control
- Multiple facets for dynamic information flow
- Arrows for secure information flow
- Tracking Information Flow in Dynamic Tree Structures
- What you lose is what you leak: information leakage in declassification policies
- Secure information flow by self-composition
- Secure Information Flow as a Safety Property
- Paralocks, role-based information flow control and beyond
- Programming Languages and Systems
- Using dynamic pushdown networks to automate a modular information-flow analysis
- Scheduler-independent declassification
- Mediating secure information flow policies
- Information flow analysis for valued-indexed data security compartments
- Information flow analysis for mobile code in dynamic security environments
- CoSMed: a confidentiality-verified social media platform
- Spot the difference: secure multi-execution and multiple facets
- A verified information-flow architecture
- Information flow control in software DB units based on formal verification
- Dynamic intransitive noninterference revisited
- Using security policies to write secure software
- Securing the future -- an information flow analysis of a distributed OO language
- Flexible dynamic information flow control in the presence of exceptions
This page was built for publication: Programming Languages and Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5899016)
