Symbolic algorithmic verification of intransitive generalized noninterference

DOI10.1007/S11432-011-4372-YMaRDI QIDQ439858zbMATH OpenOpenAlexFDO

Authors Conghua Zhou, Hailing Wu, Song Chen, Zhifeng Liu, Shi-Guang Ju

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

intransitive generalized noninterferencemulti-level securityquantified Boolean satisfiabilitysymbolic verification

Mathematics Subject Classification ID

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

Recommendations

• Automated verification of noninterference property
• Dynamic intransitive noninterference revisited
• Multilevel transitive and intransitive non-interference, causally
• On intransitive non-interference in some models of concurrency
• A noninterference model for nondeterministic systems

Cites work

• An automata based approach for verifying information flow properties
• scientific article; zbMATH DE number 2166693 (Why is no real title available?)
• Principles and Practice of Constraint Programming – CP 2004
• QBF-Based Symbolic Model Checking for Knowledge and Time
• Theory and Applications of Satisfiability Testing
• Theory and Applications of Satisfiability Testing
• Using stochastic local search to solve quantified Boolean formulae

Cited in

(5)

• Automated enforcement for relaxed information release with reference points
• Dynamic intransitive noninterference revisited
• Automated verification of noninterference property
• Coupled relational symbolic execution for differential privacy
• Abstract Certification of Global Non-interference in Rewriting Logic

Describes a project that uses

Uses Software

• MiniSat
• Quantor

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q439858)