Programming Languages and Systems

DOI10.1007/11693024MaRDI QIDQ5899016zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• Paralocks, role-based information flow control and beyond
• Dynamic intransitive noninterference revisited
• Secure information flow by self-composition
• A Policy Model for Secure Information Flow
• Secure Information Flow as a Safety Property

Cited in

(23)

• Dynamic intransitive noninterference revisited
• Spot the difference: secure multi-execution and multiple facets
• Information flow control in software DB units based on formal verification
• Mediating secure information flow policies
• CoSMed: a confidentiality-verified social media platform
• Information flow analysis for valued-indexed data security compartments
• Securing the future -- an information flow analysis of a distributed OO language
• Scheduler-independent declassification
• Multiple facets for dynamic information flow
• Using security policies to write secure software
• Secure information flow by self-composition
• Tracking Information Flow in Dynamic Tree Structures
• Value sensitivity and observable abstract values for information flow control
• Secure Information Flow as a Safety Property
• Information flow analysis for mobile code in dynamic security environments
• Paralocks, role-based information flow control and beyond
• What you lose is what you leak: information leakage in declassification policies
• Programming Languages and Systems
• Flexible dynamic information flow control in the presence of exceptions
• A verified information-flow architecture
• Using dynamic pushdown networks to automate a modular information-flow analysis
• Backwards type analysis of asynchronous method calls
• Arrows for secure information flow

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)