Automated enforcement for relaxed information release with reference points

DOI10.1007/s11432-014-5168-7zbMath1456.68023OpenAlexW264921623MaRDI QIDQ1616187

Ning Xi, Zhong Chen, Sheng Gao, Cong Sun, Jian-Feng Ma

Publication date: 1 November 2018

Published in: Science China. Information Sciences (Search for Journal in Brave)

Full work available at URL: http://engine.scichina.com/doi/10.1007/s11432-014-5168-7

zbMATH Keywords

noninterferenceprogram analysisinformation flowpushdown systemsecurity policydeclassification

Mathematics Subject Classification ID

Theory of software (68N99) Computer security (68M25)

Cites Work

• A novel logic-based automatic approach to constructing compliant security policies
• Symbolic algorithmic verification of intransitive generalized noninterference
• Design of secure operating systems with high security levels
• Weighted pushdown systems and their application to interprocedural dataflow analysis
• Scheduler-Independent Declassification
• A Policy Model for Secure Information Flow
• Who Can Declassify?
• A lattice model of secure information flow
• Certification of programs for secure information flow
• Downgrading policies and relaxed noninterference
• Controlling the What and Where of Declassification in Language-Based Security
• Static Analysis

This page was built for publication: Automated enforcement for relaxed information release with reference points