基于自动机技术的XML复杂数据类型验证

复杂数据类型验证是XML文档验证的主要内容,是检查XML文档结构是否符合模式规则的关键.根据Schema规范中复杂数据类型的描述和自动机理论,提出了一种称为模式自动机的数据结构,讨论了将XML复杂数据类型结构转换成模式自动机的方法,并设计了用来验证文档结构的算法.使用模式自动机验证算法可以全面地发现XML文档中的结构错误并准确地给出相应的错误信息,在实际应用中具有很高的效率.     

基于身份加密的Ad hoc网络安全模式

无线Ad hoc网络由一些没有中心管理机构的结点组成，由网络中的所有结点共同担负职责．由于Ad hoc网络比传统的无线网络更加容易受到攻击，提出两个有效的安全模式用于Ad hoc网络，结点通过使用非交互性计算对称密钥，减少通讯开销，并允许结点为不同的组生成它们的广播密钥，提出一种无碰撞方法计算这些密钥，最后介绍一种基于对称密钥体制的认证广播模式和相应的数字签名模式．     

网络地址转换与网络地址端口转换的应用研究

论述了网络地址转换与网络地址端口转换的机制,地址空间的扩展、负载均衡的增强,以及Check Point防火墙NAT的实现;同时分析了网络地址转换与网络地址端口转换在网络安全方面的利与弊.     

IPSec VPN的研究与实现

先介绍了VPN和IPSec协议应用的背景，然后详细分析了这两种协议的详细内容并给出了在思科路由器上面实现IPSecVPN的一种方法。     

SQL注入漏洞的分析及防范

阐述了SQL注入的原理,对SQL注入的一般思路进行了详细分析;通过整形参数和字符串参数来判断是否存在注入漏洞,再通过判断数据库类型和数据库表名及字段名来达到注入的不同目的;介绍了多种注入方式,并从服务器管理员和程序员2个方面对SQL注入漏洞提出了防范措施。     

一种基于因式分解问题的代理签名体制

在基于因式分解难题的Fiat-Shamir数字签名体制基础上,实现了一种代理签名体制,在该体制下,原始签名人可以指定代理签名人生成代理签名,以代替原始签名人行使消息签名的权利,在实际中有较好的应用价值.     

基于XML的网络学生成绩管理系统的实现

阐述了利用XML和ASP技术实现对学生成绩的网络管理。此管理系统包括:管理员的管理功能(班级信息管理、课程信息管理、学籍信息管理、成绩信息管理、年级课程管理、用户管理)、学生的功能(修改密码、查询成绩、查询课程、查看个人资料)和教师的功能(插入、修改和删除数据)。     

存款保险制度的理性反思

介绍了存款保险制度的涵义，在此基础上对存款保险制度与道德风险、逆向选择、委托代理、资源配置、经济周期等方面进行理性反思，以期对中国建立存款保险制度有所借鉴。     

Ad hoc网络路由问题的研究

随着无线网络的广泛应用,设计一种有效安全的路由协议是目前亟待研究的重要课题。Ad hoc的应用产生了传统网络所未遇到过的安全问题。研究了目前常见的标准路由算法,分析了发生在路由层的攻击手段,阐述了几种路由安全机制。     

基于ADO技术的XML数据交换模型

用XML实现Web上的数据传输已经成为一种发展趋势．ADO是一种常用的数据访问技术，带有自己的缺陷，它与XML可以取长补短，建立一种新型的Web上数据交换模型．论述了这种模型的构成原理和实现的方法．