SNMPv3在网络安全管理系统中的应用

本文介绍了网络安全管理系统和简单网络管理协议SNMP的概念,并对系统的框架结构进行了深入研究,最后重点阐述了安全管理系统中SNMPv3的设计实现。     

基于Multi-IDS的大规模网络入侵检测

随着计算机网络的广泛应用,网络安全的重要性也日渐突出。传统的单机入侵检测系统已不能保障大规模网络的安全。本文提出了一种多入侵检测系统协作方式,有效地解决了大规模网络的入侵报警问题。     

在线考试系统安全的防范和对策

本文就基于Web的在线考试系统的安全问题,提出了加强用户登陆考试系统的身份认证、考试系统的页面之间的身份认证等方面的解决方案;并对考试进行中可能出现的问题,提出了一些预先安全防范观点和解决问题的措施。     

构建以业务为中心的VPN网络

为充分利用现有公共网络资源和ISP的接入能力,利用安全技术保证网络传输的安全,充分满足移动用户移动办公和家庭办公的需求,以业务为中心构建宽带VPN是企业用户建立专用网的首选解决方案。     

存储区域网络的数据安全访问

本文讨论了存储区域网络的可能的安全威胁，剖析了安全威胁点的概念，提出了三层安全边界的SAN安全体系架构，并且着重分析了内部边界的LUN屏蔽和分区两种实现方式。     

基于移动代理的冗余服务系统安全性探讨

目前很多分布式集中管理系统中存在许多问题,通过分析提出可引入移动代理技术来提高系统的性能。文中概述了集中管理模式下的冗余服务系统及其存在的缺陷和引入移动代理的优势,重点介绍了引入移动代理后所存在的安全性问题,分析了几种典型的解决方案,并指出了它们的不足。     

网络安全系统设计的研究

网络的应用范围越广，来自内部和外部组织的对网络脆弱性的袭击就越大。对一个组织、一个企业来说，构建一个适合自身的网络安全系统是非常必要的。文中在所提出的一种网络安全系统设计的框架的基础上，对其中的网络安全设计进行了详细的分析，给出了体系结构模型和策略管理执行模型，把安全体系结构、安全策略管理的实现和网络安全的实现机制有机地结合在一起，确保高级需求分析到低级系统的实现机制之间的平滑过渡。     

多层交换机在Intranet中的应用研究

摘要：本文针对路由器与第三层交换机在Intranet中应用的瓶颈问题，分析了第三层交换技术的工作机制和多层交换机在Intranet中的应用优势，提出了多层交换机在现实各VLAN间通信、与Intranet的互连、网络安全与管理及QoS等的应用方案。     

Weblogic安全构架及安全技术应用

为了利用Weblogic实现安全控制，介绍了基于此种安全构架的常用的几种安全应用技术，以及Weblogic安全服务的底层构架，具体分析了采用新的体系构架相对于传统的安全模式的优势，通过给出的具体网站安全控制的解决方案，说明采用这种基于新安全构架的安全技术可以灵活、方便地进行各种级别的安全控制。     

On the secure implementation of security protocols

We consider the problem of implementing a security protocol in such a manner that secrecy of sensitive data is not jeopardized. Implementation is assumed to take place in the context of an API that provides standard cryptography and communication services. Given a dependency specification, stating how API methods can produce and consume secret information, we propose an information flow property based on the idea of invariance under perturbation, relating observable changes in output to corresponding changes in input. Besides the information flow condition itself, the main contributions of the paper are results relating the admissibility property to a direct flow property in the special case of programs which branch on secrets only in cases permitted by the dependency rules. These results are used to derive an unwinding theorem, reducing a behavioural correctness check (strong bisimulation) to an invariant.