基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

FortiGate防火墙在图书馆网络安全中的应用

论述了图书馆使用防火墙的必要性，介绍了防火墙的发展过程，指出了传统防火墙的局限性，描述了FortiGate防火墙的性能及其工作模式。     

基于教育城域网信息管理系统的设计与实现

给出了一种基于教育城域网环境下信息管理系统的设计和实现方法,同时给出了一种基于角色安全访问的控制策略.     

基于ASP+SQL的远程MIS系统安全特性分析与研究

为构建基于ASP+SQL体系结构的铁路电务管理信息系统,结合网络安全模型和基于角色的访问控制(RBAC)模型分别设计了实际的网络系统和应用系统,并对其安全特性进行了分析.     

谈公安院校计算机基础教学的改革问题

分析了公安院校当前在计算机基础课程教学中存在的问题，并针对这些问题提出一些改进的措施和建议，以适应当前公安教育的需要。     

Security Analysis of Discrete Logarithm Based Cryptosystems

0 IntroductionNowthere are many well known cryptosystems based ondiscrete logarithms , such as the ElGamal cryptosys-tem[1]and the digital signature algorithm(DSA)[2]. Discretelogarithms have many advantages . Breaking the discrete log-arithm modulo pri mepappears to be somewhat harder thanfactoringintegern,and elliptic curve cryptosystems may usemuchsmaller keysizesthan RSA-basedcryptosystems of com-parable security.The discrete logarithmproblemover a group can be bro-ken down into a numb…     

安全性和正确性折中的软件系统开发方法

主要分析和研究如何在软件当前的现实下寻求功能正确性和安全性的折中策略，来解决商业软件长期以来带有“bug”和安全性问题．对功能正确性和安全性的折中方案，亦有详细的分析，最后还提出将软件开发的折中技术融入软件工程以取得实际的效果．     

系统视角下的现代新型国家安全观

现代新型国家安全观认为，国家安全是由多种要素构成的有机整体，是一种综合系统，系统科学的系统整体突现原理、系统结构质变原理和系统环境互塑共生原理，是审视、解读、认知现代新型国家安全观的重要视角、理论基石和认识原则。     

浅谈高校安全教育

21世纪社会主义现代化建设带来需要各方面均衡发展的高素质人才，但是现行的高校教育体制忽视了对学生的安全教育。安全教育是素质教育的一部分，应该贯穿人才培养的整个过程。本就高校教育体制现状，以及安全教育的必要性作浅显的分析，同时针对如何加强高校安全教育谈几点看法。     

宽带城域网络及其业务接入解决方案

本结合宽带城域网的建设，对宽带城域网的网络体系结构、用户信息安全、网络管理作了描述，并以中兴宽带系列产品ZXB10为侧，对具体的业务给出相应的接入模式。