【摘 要】
：
安全模型是用形式化的方法来描述如何满足系统的安全要求.经典的安全模型都只能要么满足系统的保密性要求(如BLP模型),要么满足完整性的要求(如Biba模型).该文提出了一个多级
【基金项目】
：
国家重点基础研究发展计划(973计划)
论文部分内容阅读
安全模型是用形式化的方法来描述如何满足系统的安全要求.经典的安全模型都只能要么满足系统的保密性要求(如BLP模型),要么满足完整性的要求(如Biba模型).该文提出了一个多级安全策略的二维标识模型,在对可信主体必须遵守最小特权原则的前提下,利用保密性标识和可信度标识共同构成主客体的访问标识,并利用两个约束条件,使得既能防止越权泄露信息,又能控制信息的非授权修改,从而同时保证了系统的保密性和完整性.
其他文献
针对中国国家标准及ISO藏文编码字符集提出书面藏语字词的排序涉及藏字结构序、构造级和字符序概念,是不同于中文、英文序性而性质独特的一种排序.文章详尽分析了藏字字形、
随着我国经济的发展以及社会的进步,国家进行民主政治建设的步伐显著加快,与此同时,职工民主管理的内容不断更新,涉及到的领域持续增加,各级党政领导以及企业经营管理人员对
当系统包含很少的故障点时,mesh/torus网整个系统就有可能是不可靠的.该文采用扩展的局部可靠性信息来指导三维mesh/torus网的容错路由.扩展的局部可靠性信息在每个平面内部
本文依据笔者对北京修证公益基金会“职业素养院校工程”的课程体系的实践与体会,指出“诚信”“专业”“积极”“谨慎”是灵魂,“知行合一、修证相应”和“全生活修炼”是该
技工院校要获得长期、有活力的发展,需要以培养具有创新创业职业素养能力的人才作为动力,将创业孵化基地建设纳入学校规划,对创业孵化基地的教育、实战和保障功能进行合理定
安腾处理器引入了硬件控制的寄存器栈,寄存器栈引擎能够自动地改变寄存器栈帧指针,对栈寄存器进行保存和恢复,从而有效地减少跨越过程调用时的寄存器值的保存和重新载入.每
国有企业退休人员应逐步推进社会化管理。蓬勃发展的养老事业给国有企业退休人员社会化管理提供了良好的外部环境。实施社会化管理可以进一步完善我国社会保障体系,让国有企