Con-Gdong Lv

Intransitive Noninterference in the Action-disordered System

Xiaoyong Li, Wei Ma, Congdong Lv, 2015 .

Analysis and Proofs of Properties in Intransitive Noninterference

Wei-Ming Ma, Xiaoyong Li, Con-Gdong Lv, 2015 .

An Architectural Refinement Approach Based on Trusted Channel in MLS Environment

Fei Li, Xiaoyong Li, Wei Ma, 2014 .