论文部分内容阅读
提出一个基于逻辑关系和约束的保护轮廓生成模型。通过分析保护轮廓的组成结构、生成原理,总结了保护轮廓的内在逻辑关系和约束条件,给出了保护轮廓生成过程和相关自动化处理算法。最后,讨论了生成模型在安全保护等级划分准则要求下的应用。
基于逻辑关系和约束的保护轮廓生成模型研究
【摘 要】
：
提出一个基于逻辑关系和约束的保护轮廓生成模型。通过分析保护轮廓的组成结构、生成原理,总结了保护轮廓的内在逻辑关系和约束条件,给出了保护轮廓生成过程和相关自动化处理算法。最后,讨论了生成模型在安全保护等级划分准则要求下的应用。
【机 构】
：
南京大学计算机软件新技术国家重点实验室,南京大学计算机科学与技术系
【出 处】
：
计算机应用与软件
【发表日期】
：
2008年03期
【基金项目】
：
国家自然科学基金（60773170,60721002,60473053）,国家863计划（2006AA012432,2004AA147070）,江苏省自然科学基金（BK2005074）.
其他文献
该文针对目前校园局域网中地址解析协议(ARP)病毒的频繁发作,分析了ARP病毒攻击原理,并且给出了采取相关的防护措施和应对策略。最后给出了以后在防范过程中应该注意的几点建议。
传统上的知识管理工具往往在设计时就固定了知识结构,这样的系统不但缺乏通用性,而且也限制了知识检索与推理的效率。介绍一个基于本体的可重构知识管理系统,知识作为本体概念的对象实例,利用本体模型的可定制性,解决了以往知识类型不能扩展的问题。详细阐述了结合案例推理与规则推理的集成推理方法,通过规则学习算法支持了规则库的动态扩充与调整,并将本体类的语义关系应用于推理方法,进一步提高了推理的效率。最后介绍了该