Analysis of system trustworthiness based on information flow noninterference theory
Xiangying Kong, Yanhui Chen, and Yi Zhuang
Journal of Systems Engineering and Electronics . 2015, (2): 367 -380 .  DOI: 10.1109/JSEE.2015.00043