基于域名的VPN策略管理系统

针对传统VPN策略管理模型中存在的问题进行了分析 .提出了一种基于域名的VPN多域策略管理系统 ,并对系统的设计和实现进行了详细论述 .针对该系统的改进方案和安全性进行了评价     

WEP算法安全性浅析

有线对等协议(WEP)算法是无线局域网的一种数据安全传输算法,用以在无线网络中提供与有线网络等同的安全性能.首先探讨了802.11无线网络的工作方式及加密机制,然后讨论了WEP算法在其中的作用.并以此为基础从数学上论述了WEP算法的安全漏洞及可能的攻击方式.最后提出将VPN应用于WLAN以辅助WEP算法保证数据安全的方案,并对其优点作了简单的分析.     

聚类方法在警报数据分类与约简中的应用

提出了一个使用文本聚类方法进行警报数据分类与约简的处理框架.详细描述了警报特征向量的表示方法和直接聚类方法,以及警报数据的简约表示方法.     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

SQL Server的安全性管理

介绍了SQL Server的安全机制．从进入系统到使用数据库对象，SQL Server都提供了比较完善的手段，方便系统管理员保护数据安全．     

校园网安全分析及安全策略

校园网在运行过程中面临各种安全威胁，针对校园网在运行中所遇到的实际问题。对网络管理，系统安全漏洞，网络隔离，防火墙设置等多方面提出了相应的安全解决方案。     

基于复杂性研究的Internet安全模型

回顾了基于复杂性科学和复杂网络研究的相关理论建立的几种Internet安全大范围模式行为的模型．从Internet复杂系统的Power-Law分布规律出发，论述了该分布规律对网络安全建模的影响，然后围绕网络安全的两个方面，即病毒传播和网络鲁棒性，分别论述了基于复杂系统和复杂网络研究成果建立的病毒传播的定量模型，以及网络鲁棒性与复杂网络结构的定性关系模型，最后还展望了未来该领域的研究前景．     

Windows 2000安全漏洞及其解决建议

主要针对Windows 2000操作系统本身以及作为网络操作系统所存在的安全隐患，讨论了其比较典型和重大的安全漏洞，并给出对这些漏洞的解决建议。为基于Windows 2000的服务器和工作站的网络安全建议提供了参考。     

数字证书在学校管理中的应用

文章分析了计算机网络中的安全加密技术和数字证书体制，提出了将数字证书应用于如学生证、图书证、上机证、毕业证等的管理，并对学历证书数字化进行了分析。     

信息是人类文章赖以发展的基础

信息的发展经历了语言，文字，印刷，电磁波与计算机5个发展阶段。信息产业正向着自由化，私有化的方向发展，在发展过程中，竞争与垄断并存，新兴与衰落并存，信息技术与产业发展的同时，也带来一些新的问题。我们对信息业一方面要加强投入，加强创新，另一方面要加强规范，加强管理，将人类文明带入一个崭新阶段。