Programming Languages and Systems

DOI10.1007/11575467MaRDI QIDQ5493401zbMATH OpenFDO

Authors Isabella Mastroeni

Publication date 20 October 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11575467

zbMATH Keywords

DeclassificationLanguage-based SecurityNon-Interference

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Programming Languages and Systems
• Abstract non-interference
• Abstract interpretation-based approaches to security -- a survey on abstract non-interference and its challenging applications
• Static Analysis
• A proof system for abstract non-interference

Cited in

(8)

• Modelling declassification policies using abstract domain completeness
• Attacker control and impact for confidentiality and integrity
• Abstract interpretation-based approaches to security -- a survey on abstract non-interference and its challenging applications
• What you lose is what you leak: information leakage in declassification policies
• Static Analysis
• Formal Modeling and Analysis of Timed Systems
• A comparison of semantic models for noninterference
• Abstract Lipschitz continuity. Combining semantic and quantitative approximations

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 Q5493401)