论文部分内容阅读
提出并设计了一个安全操作系统的信息安全模型。该模型消除了仅以用户作为主体存在的不安全隐患,除保密性指标外考虑了完整性指标,限制了隐蔽通道,限制了可信主体以满足最小权限原则,进行了域隔离,缩小了理论模型与实际应用的差距,并应用到自主开发的安全操作系统WXSSOS中。
基于BLP的安全操作系统信息安全模型
【摘 要】
：
提出并设计了一个安全操作系统的信息安全模型。该模型消除了仅以用户作为主体存在的不安全隐患,除保密性指标外考虑了完整性指标,限制了隐蔽通道,限制了可信主体以满足最小
【机 构】
：
浙江大学计算机科学与技术学院; 南京大学商学院 杭州310027; 南京210093;
【出 处】
：
计算机工程
【发表日期】
：
2005年19期
【基金项目】
：
浙江省自然科学基金资助项目(600014,M603228)
其他文献
角质细胞生长因子(KGF)从属于成纤维细胞生长因子家族。KGF基因表达受多种细胞因子调控。KGF与受体KGFR特异性的结合发挥其多种生物学功能:参与组织、器官的发育;参与皮肤、
20世纪60年代的美国环境公益诉讼对环保法的发展起到了巨大的推动作用。环境公益诉讼作为一种新型的诉讼模式,专门适用于环境保护领域。同传统的诉讼形式相比,环境公益诉讼在
本文介绍了《QC/T 743-2006电动汽车用锂离子蓄电池》的背景、测试项目、对标准的理解、需要注意的细节,以及与相关国际标准体系的比较。
期刊的编校质量与学术影响力从两个相互独立的方面反映了期刊的质量,那么两者是否有一定相关性呢?本文将河南省新闻出版局公布的2008～2009年105种自然科学期刊的编校差错情况,
传统的视频采集技术存在诸多的局限性,无法很好地应用于当前的各类视频系统。针对这一现状,该文提出了一种先进的基于DirectShow的视频采集系统。该系统充分利用DirectShow与
对过氧化物酶体增殖物激活受体基因(PPARG)的31个SNP位点进行群体遗传学分析,利用质谱检测技术检测PPARG基因的31个SNPs位点多态性,并根据质谱峰图判读样本目标位点基因型,统
<正> 儿童臀肌挛缩症是因臀肌及其筋膜的纤维变性挛缩,引起髋关节外展外旋畸形,继发髋关节内收内旋功能障碍,进而表现为特有的步态、姿势异常和典型体征的临床病症。本病自19
短链脂肪酸受体(G protein-coupled receptor 43,GPR43)属于G蛋白偶联受体(G protein-coupled receptors,GPCR)家族,因其与脂肪和糖代谢相关,在过去的10年中其研究日益受到重
为进一步提高《湖泊科学》的影响力和质量,本文利用CNKI中国引文数据库对《湖泊科学》1992～2011年被引频次位于前10位的高被引论文进行统计分析。结果表明:从文献类型来看,10