Symbolic algorithmic verification of intransitive generalized noninterference
From MaRDI portal
Publication:439858
DOI10.1007/s11432-011-4372-yzbMath1245.68139MaRDI QIDQ439858
Zhi-Feng Liu, Conghua Zhou, Song Chen, Hailing Wu, 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
symbolic verification; intransitive generalized noninterference; multi-level security; quantified Boolean satisfiability
68Q60: Specification and verification (program logics, model checking, etc.)
68P30: Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science)
Related Items
Uses Software
Cites Work