论文部分内容阅读
如何在安全信息系统中支持多种安全政策是近年研究的热点,该文将多安全政策支持框架分为3个大类：基于统一安全模型的FMP,基于安全属性的FMP和基于政策描述语言的FMP。对典型例子进行了分析和比较,结合真实安全环境的特征提出了今后的研究方向,列举了一种FMP在安全操作系统中实施的实例。
多安全政策支持框架研究
【摘 要】
：
如何在安全信息系统中支持多种安全政策是近年研究的热点,该文将多安全政策支持框架分为3个大类：基于统一安全模型的FMP,基于安全属性的FMP和基于政策描述语言的FMP。对典型例
【机 构】
：
中国人民大学信息学院计算机系
【出 处】
：
计算机工程
【发表日期】
：
2007年9期
【基金项目】
：
国家自然科学基金资助项目（60073022）,国家“863”计划基金资助项目（863-306-ZD12-14-2）,中国科学院知识创新工程基金资助项目（KGCXI-09）,中科院软件所培育基金资助项目（CXKE5143）
其他文献
高等职业院校不仅是传授知识和开展学术研究的场所,还是增强国家创新能力、培养和储备高素质人才的重要基地,更是服务社会和推动社会发展的不可或缺的重要力量。发展职业教育
介绍了S-Club原理,分析了已有实现方法的不足,提出一个适合在网格信息服务系统中实现S-Club机制的设计方案,包括如何创建、维护和撤销S-Club以及如何在S-Club中进行查询。利用该套设计方案,在CROWN信息服务系统RLDS中成功实现了S-Club机制,通过实验证明了S-Club机制确实能够提高信息服务系统的查询效率,减少综合网络开销。
Pattern of physical growth during first six months of life among a cohort of babies living in Gampah
Introduction: Current WHO recommendation is to continue exclusive breast feeding (EBF) up to six months. Main concern regarding this recommendation is, whether
思想政治理论课是我国高职院校学生必修课之一。通过这门课程可以向大学生宣传最先进的思想和文化,还可以培养其正确的世界观、人生观、价值观。思想政治理论课的重要地位,是
目的评价中心静脉置管术在高龄患者中的应用安全性。方法回顾分析我院2004年1月-2009年10月279例80岁以上行中心静脉置管者临床资料。结果因慢性疾病长期行肠外营养支持治疗
牛培育是一个长期而复杂的过程,需要做好各个方面的工作,要掌握从遗传育种到饲养管理各个方面的专业知识和技能,特别是饲养管理工作.牛养殖的目的是为了获取更多的鲜奶和牛肉
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
以ZL114A铝合金粉末为研究对象，主要研究激光选区熔化（SLM）成形主要工艺参数如激光功率、扫描速度、扫描间距、铺粉厚度等对ZL114A成形试样致密度的影响。结果表明，SLM成形ZL114A
基于概率模型检测技术，建立了需要保证ε-公平性的非否认协议的概率模型，根据不同行为将主体建立有限状态机模型。使用概率模型检测器PRISM，验证了概率非否认协议的有效性、公平