【摘 要】
：
经典的BLP模型是在计算机安全系统中实现多级安全性支持的基础，被视作基本安全公理．BLP模型采用“强制存取控制”和“自主存取控制”来实现其安全性，总结了BLP模型的“公理化描
【基金项目】
：
国家自然科学基金资助项目(60373069);江苏省自然科学基金资助项目(BK200204)
论文部分内容阅读
经典的BLP模型是在计算机安全系统中实现多级安全性支持的基础，被视作基本安全公理．BLP模型采用“强制存取控制”和“自主存取控制”来实现其安全性，总结了BLP模型的“公理化描述”、“有限状态机模型描述”和“信息流的格模型描述”三种不同描述方法，分析了其BLP模型目前存在的安全缺陷主要是：安全级定义的不完备性、信息完整性缺陷、时域安全性缺陷和隐通道．在对BLP模型的改进中，影响较大的主要有BLDM与MBLP两种模型，
其他文献
为了减轻分析化学对环境的影响,绿色分析技术在化学实验中被越来越多地使用,这也是未来化工化验室的发展方向。本文围绕绿色分析技术在解决环境污染问题、实现经济和社会的可
不管是制作精良的视觉画面,还是超大规模的全明星阵容;不管是故事时间跨度的巨大容量,还是浓厚的历史环境和氛围,都足以使电影《云水谣》成为中国投资规模最大、制作水平最高
大颗粒尿素装置,自动化程度低,相当多工作需人工完成,厂房内粉尘较多,工作环境恶劣,劳动强度也较大,在日常生产中,偏重于严格遵守初始操作规程进行操作。现介绍通过优化操作
多糖是贝类中的重要营养功效成分,本课题对双壳纲、瓣鳃纲、腹足纲的20种可食用海洋贝类中多糖成分进行了分析。不仅选用现有多糖分析方法,还建立了新的多糖定性分析方法,对2
名实关系是整个先秦时期诸子争论的中心问题。对名实相符关系的追求实际上是在名实不断变化的过程中寻求一个平衡点,因此,“名”的变化性思想是正确理解名实关系的理论前提。
商务英语写作一直是很多学生的短板,同伴互评教学法具有理论基础,并与商务英语写作具有一定契合性。本文结合笔者自身教学实践探索同伴互评教学法在商务英语写作教学中的具体
随着我国城市化进程的不断加快,环境的污染越来越严重,导致了生态环境不断恶化,水土流失、土地荒漠化、干旱等问题越发严重。为了改变这一现状,通过水土保持的方式来治理自然
目的总结威廉姆斯综合征(Williamis-Beuren syndrome,WBS)病例的胎儿期心脏超声特点,为提高该病的产前诊断提供依据。方法回顾性分析胎儿心脏病母胎医学研究北京市重点实验室
肌电信号的检测与分析对临床诊断以及康复医学具有重要意义。肌电信号的特点是强噪声背景下的生物信号，对肌电信号的检测和提取具有一定的难度。我们针对肌电信号的特点以及与
本文通过对钢琴演奏中放松与紧张关系的论述,进一步阐述了放松在钢琴演奏中的重要性及产生钢琴演奏中紧张的原因。通过对本文放松的了解,使我们在钢琴技术的发挥和音乐的表现