论文部分内容阅读
机密性和完整性是操作系统安全的两个重要特性,BLP模型只解决了机密性的问题,而Biba模型只解决了完整性的问题,其它模型也都类似,无法使二者同时兼顾.本文基于一个特殊可信主体,提出了一种新的操作系统安全模型,融合了以上两种模型,可以同时保持机密性与完整性.
基于特殊可信主体的操作系统安全模型
【摘 要】
：
机密性和完整性是操作系统安全的两个重要特性,BLP模型只解决了机密性的问题,而Biba模型只解决了完整性的问题,其它模型也都类似,无法使二者同时兼顾.本文基于一个特殊可信主
【机 构】
：
郑州信息工程大学信息工程学院,450002国家保密技术研究所南航河南公司海军计算技术研究所
【出 处】
：
中国计算机学会信息保密专业委员会2005年学术年会
【发表日期】
：
2005年10期
其他文献
目的:建立闹羊花中闹羊花毒素Ⅱ的HPLC测定方法。方法:以Agilent ZORBAX SB-C18(250 mm×4.6 mm,5μm)色谱柱为固定相,以水-乙腈为流动相,梯度洗脱,流速0.8 mL.min-1,蒸发光
目的:建立米非司酮(RU486)阴道环的含量及其有关物质的高效液相色谱测定方法.方法:色谱柱为Diamonsil C18柱(250 mm ×4.6 mm,5μm),流动相为甲醇-水(0.05％三乙胺)(75:25),流
组合公钥(Combined Public Key,简称CPK)是一种基于标识的公钥算法,它不需要第三方证明,又因为只需保留少量的公用参数而不需要保留大量用户数据,所以不需要数据库的支持.CPK
会议
本文着重就房地产业发展中独特的周期性波动,对住房供求关系的影响,以及房地产业利润变化对房价的影响进行分析,以求更加全面的认识当前全市住房价格上涨过快的原因。
This
细胞外信号调节激酶(ERK)是一个多功能的丝氨酸/苏氨酸蛋白激酶,是MAPK家族的重要成员,在MAPK信号通路中起着重要的作用.ERK通过磷酸化多种底物蛋白来调节细胞多种生理过程,
文中在深入分析免疫原理和多代理技术的分布式入侵检测系统的基础上,提出了一种基于免疫原理结合多代理技术可自检的分布式入侵检测模型,并且对该模型的结构、组成和代理的处
文章在分析可信计算最新发展和当前网络安全需求的基础上,对如何在可信终端的基础上延伸信任链构建可信网络进行了研究,并提出了通过基于USB Key的身份认证和访问控制以及单
无线光通信是以激光为载体来传递信息的一种通信方式。目前,无线光通信技术由于激光器单色性好、方向性强、光功率集中、难以窃听、成本低、安装快等特点,发展趋势与潜力己引
内部网络安全信任平台是构建网络安全保障体系的关键技术,本文针对内部网的应用环境特点,提出了一种基于CPK的内部网络安全信任平台模型,为进一步实现可信网络和数据安全奠定