非传递无干扰相关论文
随着国家、社会对计算机和网络技术的依赖程度日益增长,信息安全问题越来越重要。访问控制机制是保护信息机密性、完整性的重要手......
基于无干扰理论的可信模型要求进程在系统运行过程中始终不被修改，制约了可信计算平台的应用。针对该问题，扩展非传递无干扰理论，使其......
为了实现概率信息的安全降密和信道控制等重要安全策略，将可信域的概念引人概率安全进程代数，并以此为工具将非传递无干扰信息流安全......
近些年来,嵌入式系统被越来越多的应用在航空航天、国防军事等诸多安全关键领域,在互联网科技发展浪潮的推动下,包括个人移动设备......
