利用逻辑编程方法进行形式化的网络安全策略验证

高级安全策略又称为安全需求,低级策略配置是高级策略的实现,正确的低级策略配置必须能够满足安全需求。网络安全取决于低级策略配置的正确性,由于策略配置异常复杂,并且缺乏准确描述安全需求的方法,这为策略的正确性分析提出了巨大的挑战。采用逻辑编程方法来分析网络安全策略,通过将低级策略配置、高级策略、漏洞信息等元素转化为逻辑程序,将网络中所有可能存在的访问与安全需求进行对比,判定策略配置是否满足安全需求,并给出所有不满足安全需求的策略配置。     

基于网络流量行为的策略描述和自动生成

利用基于策略的网络管理PBNM（policy based network management）的思想,提出了一种基于网络流数据分析和挖掘的方法来实现对网络安全状态的持续感知;在此基础上定义了一种访问控制策略描述语言,能够自动根据网络安全状态生成相应的控制策略规则,提供一种持续的网络安全控制能力.     

电力企业信息化建设的系统安全策略和方案

该文从管理和技术两个方面说明电力企业信息化建设中运用到的系统安全策略和方案。系统安全策略主要通过管理上、技术上的手段提高系统安全性。根据技术特点的不同,又分别对系统平台的安全方案、应用程序的解决方案以及网络安全的具体实现技术进行了具体的阐述。     

基于策略协议的VPN安全网关设计

基于IPSec的VPN模型采用传输加密报文的形式,实现了企业重要数据的安全共享。网络复杂性的增加以及一些高端的网络应用需求已迫使对VPN的模型做优化改造,引入策略管理和策略授权协议,设计基于策略服务协议的隧道模式的VPN安全网关模型,成功实现了高端网络对访问控制与审计、动态IP技术以及WLAN的需求,提高网络安全管理的效率。     

信息系统安全等级化防护研究探讨

文章针对广州强力安全部门网络安全系统防护提出的一种网络安全系统设计构架;对其中的网络安全体系结构设计与实现进行了详细的分析;提出了安全体系结构模型和管理执行策略模型,并详述了其设计过程。把安全体系结构、安全策略管理的实现和网络安全的实现机制有机地结合在一起。     

论高校计算机网络安全问题研究

随着网络技术的发展,校园网在高校建设中的作用越来越广泛,从而使得校园网的网络安全成为了人们关注的重点。本文主要针对高校存在的网络安全问题进行研究,首先分析了高校网络系统安全的威胁来源,然后从安全管理和提高安全技术水平两方面介绍了保证高校网络安全的策略。     

策略驱动的网络安全管理模型

分析了当前网络安全产品集中管理方面的不足,引入策略管理的机制,提出一种用于统一管理各种网络安全实体的管理平台模型,阐述了策略驱动的模型框架,并最终提出了基于CORBA的系统实现方案。     

计算机安全弱点及解决技术研究

随着计算机网络技术的快速发展,网络安全日益成为人们关注的焦点。本文分析了影响网络安全的主要因素及攻击的主要方式,从管理和技术两方面就加强计算机网络安全提出了针对性的建议,本文就计算机网络安全问题进行探讨并提出解决策略。     

基于行为科学的网络安全体系研究

在计算机网络快速发展和广泛使用的今天,各种威胁、破坏网络安全的因素也在不断出现,归纳起来,网络安全主要原因是人的不安全行为和设备的不安全状态。如何从思想、策略、技术和具体措施上实现网络安全,已成为广泛关注的问题。为了有效解决这个问题,应以人为本,从被动防护转变为主动出击,构建预防体系。为此,本文拟从行为科学出发,对网络安全进行探讨。     

PC机上网的安全问题及其应对策略

随着计算机网络的不断发展,企业和社会信息化程度不断加快,各种各样的网络安全问题也随之出现。人们的网络意识和网络服务需求正在不断增强,人们不再只是关心网络的速度和连接的范围,而是越来越关心网络的管理、服务质量、网络安全及虚拟网的实现等网络安全策略方面的问题。PC机上网的安全问题关系到计算机系统中软硬件的稳定性与实用性,是每一个计算机用户必须面对并妥善解决的问题。本文就PC机上网中常见的一些问题进行分析,并提出相应解决办法。希望能对加强PC机上网的安全起到一定的作用。     

一种企业内部信息安全方案的研究与实现

本文提出了基于IPSecVPN技术的端到端虚拟组网思想,引入了虚拟工作组及组策略的概念来实现不同VPN通信实体的安全隔离。在现有安全策略管理方法的基础上,设计实现了一个基于工作组的安全策略系统,并讨论了该安全策略系统的功能模块及采用的关键技术。     

大型企业网IPv6多节点协同机制与安全策略

大型企业网结构复杂庞大,各部门之间需要协同合作,构建一个多节点协同机制的安全策略体统可以有效解决大型企业网的协同安全管理问题。针对这种情况,通过采用 C/S 结构,引入蚁群原理,引进入侵检测的算法,设计并实现了一个基于 IPv6的多节点协同机制与安全系统框架,并对本文设计的系统进行了一定的测试实验,结果表明这一系统可以很好的解决大型企业网安全问题,实现大型企业网间的有效协同合作,并较好的解决了大型企业网的协同安全管理问题。     

浅析新形势下的计算机及网络安全

本文分析了新形势下计算机病毒的发展、新趋势以及网络安全的现状,从管理和技术两方面着手介绍了关于网络安全的安全扫描技术、防火墙技术、网络安全策略和协同构建安全防护体系。最后指出采用新技术和传统措施相结合,综合地利用各种手段技术、策略来强化计算机信息系统的安全程序,才会更加有力的保护我们的计算机及网络安全。     

从管理角度看当前网络安全发展趋势

本文介绍了我国的网络安全产业经过十多年的探索和发展,特别是近几年我国网络安全现状。分析了差距和我国网络安全的体系架构,从管理和技术两个维度介绍了网络安全工作不仅是现阶段解决好网络安全问题的需要,也是今后网络安全发展的必然趋势。     

网络安全管理系统的研究与实现

随着网络信息技术的在人们日常生活中的广泛普及,网络信息的安全性问题日益得到公众的重视。计算机技术的专家为了保护网络的安全,研究了一系列保护网络系统的技术,如防火墙、入侵检测系统、安全审计等技术,并广泛应用于网络中,取得相对较好的成绩。但是由于网络病毒的不断更新,原本可以抵御病毒入侵的系统,随着时间的推移,不能防御新生的系统。本文从国内外现有网络安全管理系统的现状进行介绍,分析研究网络安全管理系统地必要性,进而提出实现其研究的办法。     

基于PDCA循环的工业控制系统网络安全管理研究与实践

网络安全问题是工业控制系统当前面临的重大挑战,在做好技术防护的基础上,网络安全保障必须要依托管理的完善。研究基于PDCA模型实现动态的工业控制系统网络安全管理循环,并介绍了在A公司实施的工业控制系统网络安全管理实践,通过构建网络安全管理制度体系框架,建立完整的管理制度库进行统一管理,对现有制度条款进行修订和完善,对于关键环节制定制度执行情况审查的依据,定期开展网络安全管理自查,对管理制度的执行情况进行检查从而对管理制度体系的合理性和适用性进行审定,以此不断循环,不断改进,最终实现持续的网络安全。     

基于SOA的网络安全探讨

介绍了一种面向服务架构SOA的网络安全系统的设计与实现。概述了SOA架构的概念、特点、网络安全管理,并详细阐述了基于SOA的网络安全系统的实现。应用实践表明,相对于同类系统,基于SOA的网络安全系统的柔性、重用性和可扩展性更好。     

VPN系统中安全策略系统的设计与实现

VPN技术是解决网络端到端连接的安全问题的一条有效途径,其中的关键方面就是建立适合网络需求的安全策略,而安全策略由一条或多条描述特定行为的规则组成。本文对安全策略模块进行了研究,提出了一个安全策略模型,分析了安全策略管理器中规则的角色和状态转换并加以实现。实验结果表明,VPN系统工作正常,性能稳定。     

计算机网络安全及元素的分析

介绍并分析了计算机网络安全及其元素,并介绍了实现整体网络安全的三个要素。使其保证网络数据的可用性、完整性和机密性。重点剖析了网络蠕虫、网络安全系统,提出了实现网络安全的策略与队伍、管理是关键。     

企业网用户终端安全管理系统的研究

本文通过深入分析企业安全现状,针对企业网的安全需求,设计一个基于策略管理思想的整体安全管理系统。本文重点讨论策略信息采集、状态监控、事件响应和策略执行等模块设计的关键技术,并给出集中式策略管理系统的总体设计方案。该系统在简化操作、降低总体拥有成本和适应未来扩展需求等方面都有突出的优势,为企业网络提供可靠的安全保障。