一种计算机网络防御策略描述语言

定义了一种计算机网络防御策略描述语言（computer network defense policy specification language,CNDPSL）。该语言面向CNDPM模型,能够统一描述保护、检测和响应策略,并通过策略引擎映射为相应的防御规则。CNDPSL是一种声明式语言,抽象了网络防御控制的行为,对网络防御需求具有较好的灵活性、可扩展性和适应性。在GTNetS仿真平台中的实验表明,该语言能够描述防御策略并有效地转换为防火墙的ACL、检测和响应规则等,从而为计算机网络攻防演练提供防御策略支     

计算机网络防御策略描述语言初探

随着计算机信息网络的不断发展,人们在享受计算机给人们带来的便利同时,越来越意识到网络安全问题所带来的危害,计算机网络已成为社会基础设施建设的重要组成部分,社会生活对计算机及网络系统的依赖性也越来越大,本文就计算机网络防御策略描述语言进行了分析及探讨。     

面向攻防演练的计算机网络防御描述语言研究

给出一种面向攻防演练的计算机网络防御系统的设计,此系统用计算机网络防御描述语言(CNDDL)描述.针对PDRR 模型,CNDDL 语言能够将攻防演练中的防御想定转化成保护、检测、响应和恢复等措施及防御逻辑,由解释器进行解释、执行,并部署在平台中.在 GTNetS 仿真平台中的试验表明,此系统能够实现 ACL 访问控制功能、对特定攻击进行检测的功能、系统是否对攻击做出响应及恢复的功能,从而为计算机网络攻防模拟演练提供防御支持.     

计算机网络防御策略模型

从网络系统总体结构出发,对网络防御行为进行抽象,把攻击检测、响应和保护统一建模,并指出了运用规则的方法。结合实例分析,该模型策略能够高效地转化为方法,方便实践。     

计算机网络防御策略关键技术研究

随着越来越多的信息储存在网络上,网络上潜在的一些信息泄露和丢失现象也层出不穷,并且时时刻刻地威胁着网络用户的信息安全和隐私.对此,本文通过对计算机网络安全现状的分析,提出了几点有关其防御策略关键技术.     

计算机网络防御策略求精关键技术研究

计算机网络防御策略是计算机系统技术实现进一步探宄的重要体现,计算机防御策略的应用,可以提高计算机信息处理的安全性,保障计算机系统的运行数据安全,降低网络信息资源外露的可能性,是我国计算机产业实现创新性发展的重要体现.     

计算机网络防御策略求精关键技术研究

随着现代科学技术的快速发展,网络在各行各业应用非常广泛,影响着人们的日常生产与生活.网络具有共享性的特点,容易受到现代各种网络攻击和病毒的影响.本文分析了计算机网络防御策略求精关键技术,并提出几点提高策略,以期促进计算机网络的安全稳定运行.     

探究计算机网络防御策略求精关键技术

在互联网不断发展的当前社会,计算机的普及率增加,计算机技术也在持续进步,相关工程也越来越多,应用规模持续扩大,网络营销和攻击的手段也在不断增加,并且形式繁多.在这样的发展情况下,计算机的网络防御系统就需要不断地进行完善,来更好地抵制来自网络的负面冲击和黑客人侵.本文结合当下计算机发展面临的问题,对计算机网络防御策略,及其求精的关键技术,提出了一些分析和意见.     

计算机网络防御策略分析

计算机技术在得到了多年的发展之后,在社会中的应用日益广泛,逐渐深入到人们生活、工作的各个层面.人们对计算机的依赖程度越来越高,计算机技术在提高了人们工作效率的同时,也实现了现代化的建设.与此同时,计算机网络安全的重要性越来越突出,网络攻击事件屡见不鲜.因此,加强对网络防御策略的研究,提高网络安全性,保证稳定的网络环境有着重要的意义.     

探究计算机网络防御策略模型

在计算机系统运行过程中,基于计算机系统的特点以及互联网对计算机系统的影响,根据计算机系统及网络特点制定具体的网络防御措施,是提高计算机网络安全性的重要措施,对满足计算机系统安全和保障计算机网络使用具有重要的现实意义。从这一点出发,在计算机网络防御策略制定过程中,我们不但要认真分析计算机网络的特点,同时还要根据计算机网络的运行特点及发展需要,制定具体的计算机网络防御策略模型,为计算机网络防御提供有力的支持,确保计算机网络防御取得积极效果,满足计算机网络防御需要,为计算机网络防御提供手段支持和方法参考。     

计算机网络防御策略求精关键技术的分析

信息技术的快速发展为各行业领域注入新鲜的活力,但随之而来的网络攻击等问题也日益严峻,如木马、病毒 等,都影响网络的安全运行,严重情况下将有大量重要信息被窃取、网络运行瘫痪等情况发生。通过实践研究发现,引入相应 的防御策略求精关键技术,对网络安全运行可起到极大的作用。本文将对计算机网络防御策略求精现状、计算机网络防御策 略求精关键技术进行探析,并提出强化计算机网络防御策略求精技术的相关建议。     

访问控制策略描述语言与策略冲突研究

访问控制技术是网络安全防范和保护的主要方法,能保证信息的完整性和机密性。随着计算机、互联网和无线通信技术的高速发展,网络安全问题日益严重,访问控制策略的研究已成为计算机学科的一个热点课题。本文首先介绍了五种主要的访问控制策略描述语言,分析了各自的特点及适用环境;然后总结了访问控制策略冲突产生的原因、类型、冲突检测以及冲突消解方法;最后给出了访问控制策略研究的发展趋势。     

一个支持规约获取的形式规约语言

该文介绍了形式规约语言LFC设计的一些主要方面，并通过例子说明了LFC的一些特色。形式规约语言LFC是为支持软件形式规约的获取工作而开发的。该语言以一种新的递归函数，即定义在上下文无关语言上的递归函数为基础，以上下文无关语言为数据类型，在语言级支持规约获取。LFC语言已被用作形式规约获取系统SAQ的一部分。使用表明，LFC是一个能力强、易使用的语言，适合软件形式规约获取之用，并且适合其它一些用途。     

计算机局域网主动防御体系的研究

本文通过对计算机局域网主动防御体系的论述,给出了一种计算机局域网防御攻击模型。该模型描述了计算机局域网主动防御以及主动防御体系的含义、构成以及实现技术和安全分析。该模型采用分布式结构,将动态安全体系模型应用到各个安全系统,而各安全系统通过安全消息协议共享安全消息,从而实现具有防御纵深的、梯次部署的主动防御体系。     

一种基于元模型的访问控制策略描述语言

为了保护云资源的安全,防止数据泄露和非授权访问,必须对云平台的资源访问实施访问控制.然而,目前主流云平台通常采用自己的安全策略语言和访问控制机制,从而造成两个问题:(1)云用户若要使用多个云平台,则需要学习不同的策略语言,分别编写安全策略;(2)云服务提供商需要自行设计符合自己平台的安全策略语言及访问控制机制,开发成本较高.对此,提出一种基于元模型的访问控制策略描述语言PML及其实施机制PML-EM.PML支持表达BLP、RBAC、ABAC等访问控制模型.PML-EM实现了3个性质:策略语言无关性、访问控制模型无关性和程序设计语言无关性,从而降低了用户编写策略的成本与云服务提供商开发访问控制机制的成本.在OpenStack云平台上实现了PML-EM机制.实验结果表明,PML策略支持从其他策略进行自动转换,在表达云中多租户场景时具有优势.性能方面,与OpenStack原有策略相比,PML策略的评估开销为4.8%.PML-EM机制的侵入性较小,与云平台原有代码相比增加约0.42%.     

一个面向网络并行环境的需求规约语言

提出了一个面向网络并行环境的需求规约语言ＯＯＲＳＬ。ＯＯＲＳＬ支持面向对象的分析方法,可以定义并行成分一进程,可以使用前后断言来表达用户的功能需求,允许将非经和半形式化的需求定义嵌入形式化的需求定义中。因此,ＯＯＲＳＬ语言是一个半形式化的语言,它为网络并行环境下的软件自动化和软件形式化开发提供了支持介绍了ＯＯＲＳＬ的设计思想和主要语法成分。给出了一个实例。     

网络通信协议的属性文法规格说明

本文给出一个基于属性文法的网络通信协议的形式说明与自动生成的模型.首先引入了一个扩展的属性文法描述工具,讨论了用其描述协议的并行、同步、延时（时序）等特性的有关问题；然后研究了基于属性文法的网络通信协议自动生成环境及其核心算法——属性计算（即语义分析）算法.