基于不干扰理论的信道控制策略及其自动化验证方法
崔隽 黄皓
Channel control strategy based on noninterference theory and its automated verification scheme
计算机应用 . 2010, (3): 708 -714 .