【摘 要】
：
定义了一种计算机网络防御策略描述语言CNDPSL(computer network defense policy specificationlanguage).该语言面向CNDPM模型,能够统一描述保护、检测和响应策略.在CNDPM模
【机 构】
：
北京航空航天大学虚拟现实技术与系统国家重点实验室,北京航空航天大学网络技术北京市重点实验室,广西师范大学计算机科学与信息工程学院,北京航空航天大学软件学院
论文部分内容阅读
定义了一种计算机网络防御策略描述语言CNDPSL(computer network defense policy specificationlanguage).该语言面向CNDPM模型,能够统一描述保护、检测和响应策略.在CNDPM模型中,给出了抽象策略细化为具体规则的推导原理,并以形式化的方法分析并验证了策略的完备性、一致性和有效性.CNDPSL是一种声明式语言,抽象了网络防御控制的行为,对网络防御需求具有较好的灵活性、可扩展性和适应性.最后给出了策略引擎的原型及其实现.在GTNetS仿真平台中的实验表明,该语言能够自动地转化为具体的技术规则并实现其表达的防御效能.
其他文献
本文主要描述了我国电力行业的垄断状况,从垄断对电力产业的效率损失、对消费者和其它行业的利益损害、国家对电力垄断价格管制的失位、垄断造成的社会腐败等几个方面,认真分
在调查当前高校学生党建中存在的突出问题基础上,为提升高校学生党建科学化水平、创新大学生党支部组织生活内容和形式、提高大学生党支部凝聚力和影响力,依托红色资源,构建
中华人民共和国主席令$$第三十六号$$《中华人民共和国反恐怖主义法》已由中华人民共和国第十二届全国人民代表大会常务委员会第十八次会议于2015年12月27日通过，现予公布，自20
<正>一《长沙东牌楼东汉简牍》收录一枚命名为"桂阳大守行丞事南平丞印缄"的木牍(出土号1003),牍左部、上部残损,存文两行[1]。桂阳大守行丞事南平丞印临湘丞掾驿马行第一行
加强和改进学生党支部建设是高校党建工作的重要组成部分,是提高党的战斗力的重要途径。在新形势下如何加强和改进高校学生党支部的建设,是党的建设面临的新课题。我们必须积
[目的]分析并测定沙棘茶中的脂肪酸。[方法]采用索氏提取法提取沙棘绿茶和沙棘红茶中的脂肪酸，并通过气质联用法对脂肪酸的化学组成及含量进行了测定分析。[结果]气质检测结果
目的:分析癫痫儿童与正常儿童智能和适应能力差别,观察抗癫痫药物治疗前后对智能和适应能力的影响。方法:选择2013年1月至2013年12月我院50例9~16岁癫痫患儿,随机分为两组,分
本文主要介绍了我国当前绿色营销的现状及问题,分析了制约我国中小企业开展绿色营销的原因,并提出了解决当前问题的对策。
目的:了解骨科手术后患者的营养状况,分析引起术后营养不良的影响因素,为采取合理、有效的营养支持和护理干预提供参考依据。方法:收集骨科手术患者的临床资料,包括人口统计
目的:探讨胸外开胸手术和胸腔镜手术在肺叶切除中的临床治疗效果。方法:选取2010年4月至2014年2月胸外科收治行肺叶切除的180例患者为研究对象,采用入院先后顺序编号,再采用