【摘 要】
：
通过分析安全策略中可能出现的问题，对安全策略的一致性与完备性进行形式化定义。通过构造安全策略的状态模型，提出策略的一致性与完备性验证算法。基于可扩展访问控制标记语言
【基金项目】
：
江苏省自然科学基金资助项目（BK2008090）
论文部分内容阅读
通过分析安全策略中可能出现的问题，对安全策略的一致性与完备性进行形式化定义。通过构造安全策略的状态模型，提出策略的一致性与完备性验证算法。基于可扩展访问控制标记语言，设计并实现一种安全策略的形式化描述与验证系统。该系统将形式化的验证过程自动化，以可视化的形式为普通用户提供一种高效的策略验证工具。
其他文献
文章研究了云计算技术,提出了云设计平台的概念,通过对传统架构模式与云架构的比较分析,制定了＂云客户端/云服务器/云工作站＂的工作模式。以起重机设计知识标准为基础,开发了起
教师借助优秀的影视资源,利用课内和课外时间,有计划、有组织、有目的地对中职旅游专业学生进行潜移默化的职业素养教育。建立学习共同体,师生共同完成影视资源库的建设。通
领导班子是一个单位或部门的核心,班子的团结与否直接影响着一个单位或部门的工作.在班子的不团结问题上,我们常常会看到这样一些现象:有的副职抱怨正职,单位或部门的许多事
提出一种可适应各种地质条件的插值加密方案，结合设计模式的思想，把传统的插值功能分解为加密级别控制、构网、插值3个组件，解决以往插值相关功能耦合度过高、难以修改的问题，组
随着麻醉和手术技术的进步和提高，腹部手术适应证逐渐扩大，但部分患者腹部术后容易发生恶心、呕吐、腹痛、腹胀、腰肌酸痛、便秘等肠道症状，这不仅给患者带来痛苦，还影响其切口愈
随着科学技术的进步和社会经济的飞速发展,社会对人才的要求越来越高。作为培养人才阵地的高等院校,必须适应时代发展的需要,培养出具有合理知识结构和能力结构、人格健全的
根据南京市设施蔬菜机械化发展现状,从农机装备、农机农艺融合和保障体系等三个方面分析了南京市设施蔬菜机械化发展存在的问题,同时,提出了促进南京市设施蔬菜机械化发展的
1 病例资料男，76岁。因发作性心前区不适1年，加重2小时人院。1年前于活动后偶有心前区闷痛不适，为针刺样疼痛，无放射，近2个月上述症状频发，多在活动及餐后出现，偶于夜间睡眠中发作，自
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
现阶段,中等职业艺术教育在教育部和各级教育部门的帮助下,得到了迅速发展。《关于进一步加强和改进未成年人思想道德建设的若干意见》和《中等职业学校德育大纲》作为当前教