Automated verification of noninterference property

DOI10.1007/978-3-030-01950-1_37MaRDI QIDQ2218982zbMATHOpenAlexFDO

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

zbMATH Keywords

information flowintransitive noninterferencenoninterference verification

Mathematics Subject Classification ID

Information theory (general) (94A15)

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

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)