论文部分内容阅读
强制访问控制是建设高级别安全信息系统的必要条件.本文基于Biba模型,重点给出了信息系统中系统管理员、安全管理员和安全审计员三权分立的形式化分析.通过分析,给出三权分立管理机制下,保障信息系统安全管理的条件.本文的结果在某国家级信息系统的具体建设中得到了应用.
基于Biba模型的三权分立分析
【摘 要】
：
强制访问控制是建设高级别安全信息系统的必要条件.本文基于Biba模型,重点给出了信息系统中系统管理员、安全管理员和安全审计员三权分立的形式化分析.通过分析,给出三权分立
【机 构】
：
北京交通大学计算机与信息技术学院,国家信息中心,中国科学院软件研究所
【出 处】
：
北京交通大学学报
【发表日期】
：
2013年05期
【基金项目】
：
国家自然科学基金资助项目(60833008,60902024);中央高校基本科研业务费专项资金资助(2011JBM217);教育部高校创新团队项目资助(IRT201206);新世纪优秀人才支持计划项目资助(NCET-11-0565);信息保障技术重点实验室开放课题基金资助(KG-11-03)
其他文献
《补正》和《辨证》是民国时期辨补《四库全书总目》的扛鼎之作,弥补了《总目》的缺失,丰富了“四库总目学”的内涵。对两书的比较研究可以深化我们对《总目》的认识,同时也
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
研究了两种晶型的TiO2 (锐钛矿型和金红石型 )作为添加剂对烧成镁钙砖烧结性的影响。结果表明 ,两种晶型的TiO2 都能显著促进镁钙砖的烧结 ,其中以锐钛矿晶型为添加剂的效果
本文分析了结构关系不同的、分别表示结构被动义和标记被动义的两种由字被动句,认定它们是相辅相成的一对互补句式;两种句式之间既交叉又相通,既可以转换,又互有分工;选择不
为输送企业应用型人才,高校将ERP沙盘模拟实践教学纳入指标。ERP沙盘模拟实践教学通过设立沙盘,模拟企业经营管理的过程,在实践中训练学生挖掘企业漏洞并调整策略解决问题的
幼儿园教育和小学教育联系密切,所以幼小衔接对小学教育教学来说就十分关键和重要,衔接的恰当与否、到位与否,直接影响到孩子对小学课程知识的接受能力,甚至对孩子社会化情绪
目的以胆红素代谢过程中UGT1A1酶介导的胆红素葡糖醛酸结合环节为切入点,考察何首乌提取物体内、外肝毒性。方法以胆红素为UGT1A1酶底物,考察给药后大鼠肝微粒体体系中UGT1A1
该文采用ANSYS大型三维有限元软件对东平东江大桥独塔斜拉索锚固区混凝土进行应力分析。建立全塔仿真模型,在模型中模拟环向预应力系统,并考虑预应力损失,通过计算得出拉索锚
<正> 6月18—20日,国际中国语言学学会第十二届年会暨第二届汉语语言学国际研讨会在天津召开,这是该学会自成立以来首次在中国大陆召开年会。来自20多个国家和地区的300多名
乾隆时期所修《四库全书总目》为一时士人所推重,然＂千虑一失＂,《总目》难免有讹误、疏漏之处,为补缺憾,胡玉缙耗数十寒载辑录成《补正》一书,不论是从史料辑录数量、价值,还是