Fei Li

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 .