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