Automated verification of noninterference property

DOI10.1007/978-3-030-01950-1_37zbMATH Open1458.94173OpenAlexW2898293931MaRDI QIDQ2218982FDOQ2218982

Authors: Fan Zhang, Cong Zhang, Mingdi Xu, Xiaoli Liu, Fangning Hu, Han-Chieh Chao 

Publication date: 18 January 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-01950-1_37

Recommendations

• Symbolic algorithmic verification of intransitive generalized noninterference
• A noninterference model for nondeterministic systems
• An automata based approach for verifying information flow properties
• scientific article; zbMATH DE number 1799514
• Non-interference through determinism

zbMATH Keywords

information flowintransitive noninterferencenoninterference verification

Mathematics Subject Classification ID

Information theory (general) (94A15)

Cited In (2)

• Symbolic algorithmic verification of intransitive generalized noninterference
• A noninterference model for nondeterministic systems

This page was built for publication: Automated verification of noninterference property

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