【摘 要】
：
Bell&LaPadula (BLP)模型是实现安全操作系统多级安全性(MLS)的基础,根据主体当前敏感标记对主体访问客体的请求作判断是BLP模型的关键.本文讨论一个动态确定主体当前敏感标
【机 构】
：
中国科学院软件研究所,中科红旗软件技术有限公司
【基金项目】
：
国家高技术研究发展计划(863计划)，国家自然科学基金，中国科学院知识创新工程项目
论文部分内容阅读
Bell&LaPadula (BLP)模型是实现安全操作系统多级安全性(MLS)的基础,根据主体当前敏感标记对主体访问客体的请求作判断是BLP模型的关键.本文讨论一个动态确定主体当前敏感标记的方案,首先,作为进一步探讨的基础,对BLP模型进行简要描述,接着,以BLP模型为基础构造所讨论的方案,最后,给出构成完整方案的限定条件,并证明该限定条件的必要性和正确性.
其他文献
本文给出了一类对称—反对称多小波滤波器组参数化设计方法，并在此基础上提出了新的多小波零树编码方案.实验表明,与常用的9-7单小波相比，我们所设计的双正交对称—反对称多小
新生儿缺氧缺血性脑病的诊断,以前全靠尸检,随着头颅CT 等先进枝术的应用,现已可于生前诊断,人们对其认识也不断加深。本文结合文献复习介绍本病的概念与范围、病理生理、临
<正> 我们根据卫生部(86)卫字第160号文件通知精神,在武汉同济医科大学统计系的指导下,于1987年2～5月对碑林区1986年死亡的婴儿作了调查。碑林区地处西安市繁华地区,全区共432
进行性环枢椎脱位合并颈髓受压原因复杂,逐渐加重的高位瘫痪,如不及时治疗,多数予后不佳。非手术治疗容易复发,且不少患者由于脱位时间长,牵引复位不易成功。我院由1973年起
颈椎管狭窄症引起脊髓损害,应早期诊断,及时治疗,以免严重时致残。我院自1984年至1986年采用经后路椎管扩大术治疗颈椎管狭窄症,取得了较好的临床效果。现介绍于下。临床资料
有限域GF(2^n)上的椭圆曲线密码体制以其密钥短，安全强度高的优点正在获得广泛的重视和应用。该密码体制最主要的运算是有限域上的乘法运算。本文提出了一种基于Ⅱ型优化正规
为了进一步提高硬膜外阻滞穿刺一针成功率,避免穿破硬脊膜,提高硬膜外阻滞的临床麻醉效果,我院于1978年4月～1984年4月,在硬膜外穿刺成功后,常规测量穿刺针针体和侧中线皮肤的
文章介绍了冀中能源股份有限公司概况,简要说明了提高煤炭资源利用率对企业发展的重要意义。阐述了冀中能源股份有限公司在2000至2010年产量大幅增加的情况下,技术工程人员采
本文详细地分析了LDD结构高温CMOS集成电路闩锁效应。文中提出了亚微米和深亚微米CMOS集成电路闩锁效应的模型。在该模型中，针对器件的尺寸和在芯片上分布情况，我们认为CMOS I
详细阐述了嗅觉模拟技术的基本原理,介绍了嗅觉模拟技术研究的历史、应用现状与发展趋势,指出了嗅觉模拟技术研究中需要解决的问题,展望了嗅觉模拟技术在香料香精、卷烟、酒