Assessment of multilevel intransitive noninterference by nonblocking analysis

DOI10.1109/TAC.2024.3484609MaRDI QIDQ6960906zbMATH OpenFDO

Authors Wenjing Zhong, Jinjing Zhao, Hesuan Hu

Publication date 11 July 2025

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Mathematics Subject Classification ID

Systems theory; control (93-XX)

This page was built for publication: Assessment of multilevel intransitive noninterference by nonblocking analysis

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