【摘 要】
：
提出了一个新的基于非传递无干扰理论的二元多级安全模型,其分别依据BLP和Biba模型的思想保护信息的机密性和完整性。为增强模型的实际可用性,引入了机密性可信域和完整性可信域,其在机密性检查室和完整性检查室内对违反安全策略的操作进行检查。基于信息流的非传递无干扰理论对于该模型进行了严格的形式化描述,并证明了其安全性,近一步讨论了其在Linux操作系统中的实现和在实际中的应用。该研究对于国家信息内容安
【机 构】
：
中国科学院研究生院信息安全国家重点实验室,解放军信息工程大学电子技术学院
【基金项目】
：
国家重点基础研究发展计划（“973”计划）基金资助项目（2007CB311100）
论文部分内容阅读
提出了一个新的基于非传递无干扰理论的二元多级安全模型,其分别依据BLP和Biba模型的思想保护信息的机密性和完整性。为增强模型的实际可用性,引入了机密性可信域和完整性可信域,其在机密性检查室和完整性检查室内对违反安全策略的操作进行检查。基于信息流的非传递无干扰理论对于该模型进行了严格的形式化描述,并证明了其安全性,近一步讨论了其在Linux操作系统中的实现和在实际中的应用。该研究对于国家信息内容安全基础设施中敏感信息的保护具有一定的理论和实用价值。
其他文献
提出了一种新的机会网络缓存替换策略(ON-CRP,opportunistic networking cache replacement policy)。与现有策略不同,该策略基于节点与数据项的相关度来选择要替换的缓存数据,并利用人类移动模式提取了目标地址匹配概率这一关键因素来对相关度进行判定;同时结合数据项的访问与更新频率比值这一重要因素来对缓存数据替换标准进行设计。仿真实验结果表明ON-CRP能
课堂提问是一种启发式教学方法,是组织课堂教学的重要环节。它不仅能启发学生思维,活跃课堂气氛,而且有利于激发学生的学习兴趣,培养学生的语言表达能力。
阐述了Pro/E在复杂零件压铸模设计中的技巧,尤其是造型和开模技巧。运用Pro/E完成了发电机支架压铸模设计,运用MAGMA对模具设计和工艺设计进行了优化,成功地完成了该产品的开
转型期农民家庭呈现出多层次的变迁,家庭的伦理、结构和功能发生转换,以代际合力形式完成的功能激活成为农民家庭应对转型压力和危机的秘诀。本文以“功能性家庭”理论为基础
通过对蓝牙位置隐私攻击机制和现有保护方案不足的分析,建立了蓝牙地址分级模型,依据此模型设计了蓝牙位置隐私保护方案,与现有方案相比,该协议不仅可以抵抗针对蓝牙位置隐私的窃听攻击、重放攻击、跳频序列攻击、会话地址跟踪攻击、字典攻击和中间人攻击,同时具有较小的计算量和存储需求。
当今世界经济全球化趋势越来越强,没有哪一个国家可以完全做到不与其它国家进行交流,因而,在面对各种法律文化碰撞时,每个国家只能是勇敢的接受碰撞,从自身的实际出发,找到一
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
提出了一种基于镜头组权重的MTV静/动态视频摘要生成方法,通过获取MTV的镜头组信息生成静态摘要,基于镜头组通过层次化分析方法生成动态摘要。实验结果显示,静态摘要的镜头组平均查全率和平均查准率均为86.25%;当压缩比小于5时,生成的动态摘要能够基本反映原始视频的主要内容,同时,具有比较好的可理解度和可观赏性。
利用Schnorr零知识认证机制,给出了一个构造可否认群密钥协商协议的一般化构造方法。可以将这个一般化方法看作一个编译器,通过增加两轮的数据通信轮和一轮的数据验证轮,它可以将一个非认证的群密钥协商协议转化为一个可否认的群密钥协商协议。在协议轮数和计算量上并没有显著的增加,是一个高效的转化方式。在Random Oracle模型下给出了其安全证明和可否认性证明,一并给出的还有一个应用此编译器转化的具体
随着信息处理技术和网络技术的快速发展,数字矢量地图已逐步成为地理信息系统、智能交通运输系统、数字化城市和数字化国防建设等方面必需的保障资源。数字矢量地图的地理信息详实准确,具有巨大的经济价值和战略意义。同时,数字矢量地图制作成本极高,针对数字矢量地图的非法拷贝、窃取等侵权行为也日益猖獗。对于数字矢量地图的数据安全防范措施稍有不当,就会给企业造成损失,甚至会对国家安全造成严重的威胁。为此,数字矢量地