【摘 要】
：
强制访问控制模型(MAC)是一种重要的安全模型.在多级安全的格模型和Bell-LaPadula安全模型的基础上,对MAC安全模型进行了形式化描述,并给出了与其等价的着色Petri网模型.在Pe
【机 构】
：
清华大学,第二炮兵工程学院计算机与指挥自动化系
【基金项目】
：
国家重点基础研究发展规划973计划项目(2003CB314804)、国家自然科学基金(90412012)和香港研究资助局(60218003).
论文部分内容阅读
强制访问控制模型(MAC)是一种重要的安全模型.在多级安全的格模型和Bell-LaPadula安全模型的基础上,对MAC安全模型进行了形式化描述,并给出了与其等价的着色Petri网模型.在Petri网状态可达图的基础上,对MAC模型的有关安全属性,如主体访问客体的时序关系,主体访问的可达性,因主体的动态安全级访问而存在的安全隐患以及因主体对客体的间接访问而导致敏感信息的可推测性等进行了较为详细地分析.通过对一个安全模型的范例分析,结果表明:基于Petri网的安全模型的分析方法可以充分利用现有的可达图的分析
其他文献
探讨了武器装备体系概念建模与分析验证技术。提出了武器装备体系概念建模的基本原则,以及概念建模的三要素。提出了功能-能力层次图与实体结构层次图两个建模框架。分析了一些常见建模工具的优缺点。最后介绍了几种典型的概念模型分析验证手段。
由中华文化联谊会、财团法人台湾美术基金会、中国美术馆、台湾美术馆共同主办的＂复感·动观——2011海峡两岸当代艺术展＂于2011年3月7日至4月15日在中国美术馆举办。该展
定性仿真以非数字化手段处理信息输入、建模、行为分析和结果输出等仿真环节,通过定性建模推导系统的定性行为描述。定性仿真是处理不完备信息的有效方法。定性仿真方法产生了多种流派,如模糊仿真法、归纳推理法、非因果关系推理方法、基于因果关系的推理方法、基于图表的推理方法、基于数据的结构化建模方法、基于定性空间的推理方法等。近年来,定性仿真已应用到故障诊断、生态和环境学、机械制造业和工业系统、医学研究、混杂非
2011年,恰逢著名画家萧淑芳先生诞辰100周年。北京画院与吴作人国际美术基金会联手合作,专门组织学术力量策划的＂容华淡伫——纪念萧淑芳诞辰一百周年水彩画精品展＂,于2011年3
为热烈庆祝中国共产党成立90周年，由中华人民共和国文化部主办、中国美术馆承办的“光辉历程时代画卷——庆祝中国共产党成立90周年美术作品展览”于2011年6月27日在中国美术
为了天然草原的生息繁衍和可持续发展,针对目前我国草原严重受损的现状,研究了人类活动对草原生长状况的影响,建立了草与食草动物两种生物相互作用的生态学模型,对其进行了深入分析;此后考虑到人为破坏行为对草原生物链的影响,对模型作了进一步改进;巧妙地将模型中的非线性微分方程组线性化,对模型求解;应用Matlab软件对草原的命运予以仿真;最后得出重要结论,对草原的修复及保护有重要参考意义。
2010年11月4日下午,中国美术馆5号厅,＂观澜版画展—深圳观澜版画原创产业基地入驻艺术家作品展＂隆重开幕。本次画展为期一周,是继观澜版画基地版画精品香港、澳门、内蒙古巡展
简单介绍了一些关于绳驱动的特点和原理以及国内外关于绳驱动的研究成果,在此基础之上提出了基于绳驱动的重心控制系统整体机械结构方案以及工作原理.系统的整体控制方案是分
该文提出一种多移动机器人圆形队列形成算法。在机器人数量不太大的条件下,通过迭代调节多机器人形成的多边形的边长和内角以实现在某一圆上均匀分布,再调节机器人与圆心的距离,最终使机器人均匀分布在一个指定半径的圆上。仿真结果验证了该算法的有效性。