论文部分内容阅读
提出一个基于逻辑关系和约束的保护轮廓生成模型。通过分析保护轮廓的组成结构、生成原理,总结了保护轮廓的内在逻辑关系和约束条件,给出了保护轮廓生成过程和相关自动化处理算法。最后,讨论了生成模型在安全保护等级划分准则要求下的应用。
基于逻辑关系和约束的保护轮廓生成模型研究
【摘 要】
：
提出一个基于逻辑关系和约束的保护轮廓生成模型。通过分析保护轮廓的组成结构、生成原理,总结了保护轮廓的内在逻辑关系和约束条件,给出了保护轮廓生成过程和相关自动化处理算法。最后,讨论了生成模型在安全保护等级划分准则要求下的应用。
【机 构】
：
南京大学计算机软件新技术国家重点实验室,南京大学计算机科学与技术系
【出 处】
：
计算机应用与软件
【发表日期】
：
2008年03期
【基金项目】
：
国家自然科学基金（60773170,60721002,60473053）,国家863计划（2006AA012432,2004AA147070）,江苏省自然科学基金（BK2005074）.
其他文献
该文针对目前校园局域网中地址解析协议(ARP)病毒的频繁发作,分析了ARP病毒攻击原理,并且给出了采取相关的防护措施和应对策略。最后给出了以后在防范过程中应该注意的几点建议。
传统上的知识管理工具往往在设计时就固定了知识结构,这样的系统不但缺乏通用性,而且也限制了知识检索与推理的效率。介绍一个基于本体的可重构知识管理系统,知识作为本体概念的对象实例,利用本体模型的可定制性,解决了以往知识类型不能扩展的问题。详细阐述了结合案例推理与规则推理的集成推理方法,通过规则学习算法支持了规则库的动态扩充与调整,并将本体类的语义关系应用于推理方法,进一步提高了推理的效率。最后介绍了该
目的：探索阿托伐他汀联合曲美他嗪治疗冠心病的临床疗效。方法：选取我院2015年8月-2016年8月收治的60例冠心病患者，将其随机划分成试验组以及对比组，每组各30例。对比组采用曲美
一、政府网络所面临的安全威胁为了在新一轮的国际竞争中占据有利地位，各国都将电子政务的建设作为一项重要的工作，我国政府网络任迅速发展的同时也面临着越来越明显的安全挑战
目的：观察氢氯噻嗪联合依那普利治疗老年高血压的临床效果。方法：将260例老年高血压患者随机分为实验组组和对照组各130例，对照组患者使用依那普利，实验组患者氢氯噻嗪联合依那普
电子文档的使用、存储、传输在网络环境中面临着来自病毒、外部入侵、内部盗窃等安全威胁。该文提出了应用加密和数据库存储方式,对电子文档加密后在网络上传输、存储,并综合应用智能卡和证书中心等安全方式和安全机制进行身份认证和分级授权,实现网络电子文档的安全管理。
目的：研究头孢哌酮治疗细菌性痢疾的疗效及对临床症状的改善作用。方法：选取自2015年7月-2016年6月期间，在我院接受治疗的78例细菌性痢疾患者，在其知情同意随机均分为两组，对照组
目的：比较功能性子宫出血应用射频消融术与宫腔镜电切治疗的临床效果。方法：本次选取2014年3月-2016年3月期间我院治疗的功能性子宫出血患者85例，随机将患者分为两组，观察组43例，
目的探讨腋下小切口肺癌根治术的围手术期护理要点。方法：回顾性分析58例腋下小切口肺癌根治术患者临床资料，总结护理要点及经验。结果：经过精心的护理，全组58例患者手术顺利，术后
目的：分析中西医结合治疗急性间质性’净炎的临床治疗效果。方法：选取2014年10月一2016年10月我院收治的128例急性间质性肾炎患者，随机分组，实验组给予中西医结合治疗方法，对照组