机译:基于信息流无干扰理论的系统可信度分析
College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China;
Jiangsu Automation Research Institute, Lianyungang 222061, China;
access control; dynamic trustworthiness; intransitive noninterference (INI); trust chain; trusted computing;
机译:基于信息流非干扰理论的系统可靠性分析
机译:基于无干扰理论的可信域层次模型
机译:流量分析无干扰
机译:基于无干扰测试体系结构的实时软件系统的基于知识的调试器
机译:多尺度系统的粗略分析:扩散器流量,带电粒子运动以及与平均理论的联系。
机译:基于同步理论的双管科里奥利质量流量计耦合振动分析
机译:基于语言的非干涉关系的可判定性和证明系统