【摘 要】
：
Bell&LaPadula (BLP)模型是实现安全操作系统多级安全性(MLS)的基础,根据主体当前敏感标记对主体访问客体的请求作判断是BLP模型的关键.本文讨论一个动态确定主体当前敏感标
【机 构】
：
中国科学院软件研究所,中科红旗软件技术有限公司
【基金项目】
：
国家高技术研究发展计划(863计划)，国家自然科学基金，中国科学院知识创新工程项目
论文部分内容阅读
Bell&LaPadula (BLP)模型是实现安全操作系统多级安全性(MLS)的基础,根据主体当前敏感标记对主体访问客体的请求作判断是BLP模型的关键.本文讨论一个动态确定主体当前敏感标记的方案,首先,作为进一步探讨的基础,对BLP模型进行简要描述,接着,以BLP模型为基础构造所讨论的方案,最后,给出构成完整方案的限定条件,并证明该限定条件的必要性和正确性.
其他文献
本文给出了一类对称—反对称多小波滤波器组参数化设计方法，并在此基础上提出了新的多小波零树编码方案.实验表明,与常用的9-7单小波相比，我们所设计的双正交对称—反对称多小
有限域GF(2^n)上的椭圆曲线密码体制以其密钥短，安全强度高的优点正在获得广泛的重视和应用。该密码体制最主要的运算是有限域上的乘法运算。本文提出了一种基于Ⅱ型优化正规
详细阐述了嗅觉模拟技术的基本原理,介绍了嗅觉模拟技术研究的历史、应用现状与发展趋势,指出了嗅觉模拟技术研究中需要解决的问题,展望了嗅觉模拟技术在香料香精、卷烟、酒