Programming Languages and Systems
From MaRDI portal
Publication:5899016
DOI10.1007/11693024zbMATH Open1178.68121OpenAlexW2491912653MaRDI QIDQ5899016FDOQ5899016
Authors: Niklas Broberg, David Sands 
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11693024
Recommendations
Theory of programming languages (68N15) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)
Cited In (23)
- Value sensitivity and observable abstract values for information flow control
- Backwards type analysis of asynchronous method calls
- 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
- Paralocks, role-based information flow control and beyond
- Secure Information Flow as a Safety Property
- 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
- A verified information-flow architecture
- Spot the difference: secure multi-execution and multiple facets
- Information flow control in software DB units based on formal verification
- Using security policies to write secure software
- Dynamic intransitive noninterference revisited
- 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)
