Symbolic algorithmic verification of intransitive generalized noninterference

DOI10.1007/S11432-011-4372-YzbMath1245.68139OpenAlexW2021177341MaRDI QIDQ439858

Hailing Wu, Conghua Zhou, Song Chen, Shi-Guang Ju, Zhi-Feng Liu

Publication date: 17 August 2012

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

Full work available at URL: http://engine.scichina.com/doi/10.1007/s11432-011-4372-y

zbMATH Keywords

symbolic verificationintransitive generalized noninterferencemulti-level securityquantified Boolean satisfiability

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30)

Related Items (1)

Automated enforcement for relaxed information release with reference points

Uses Software

• MiniSat
• Quantor

Cites Work

• Unnamed Item
• Unnamed Item
• QBF-Based Symbolic Model Checking for Knowledge and Time
• Theory and Applications of Satisfiability Testing
• Theory and Applications of Satisfiability Testing
• Principles and Practice of Constraint Programming – CP 2003
• Principles and Practice of Constraint Programming – CP 2004

This page was built for publication: Symbolic algorithmic verification of intransitive generalized noninterference