一种基于XML的树型代数

为了解决Web仿真中,关系代数这种数据模型的查询功能的局限性。介绍了一种形式化的集合代数(bulk algebra)称为TAX(Tree Algebra for XML,基于XML的树型代数)。TAX的数据模型为有标签的有序树组成的森林,它把关系代数和簇聚融合在一起,提出了树节点和完整树,并构造了模式树和证据树,在此基础上定义了一些数据查询操作。通过对TAX的仿真研究,仿真结果表明TAX不仅可以作用于XML的数据,而且还能有效的把这些面对用户的XML查询语言转换成面对XML数据库的高效的查询语言。同时满足数据的直观性、高效的计算性和有效的优化,而且表达了最多的XML查询。

双因素身份认证令牌验证的SSL VPN应用网关研究与设计

目前SSL VPN通常采用的公开算法,其安全性正在受到学者的质疑.入侵者若窃听到户名/口令,即可得到合法访问权限,并可通过合法权限非法访问内部系统.在现有的SSL VPN方案基础上,本文对实际应用中的各种可能服务类型进行分析,提出了一类使用iKey+PIN码双因素进行验征的解决方案,利用全新的权限验证方法结合SSL VPN技术解决内部系统访问的安全问题,并给出了这一方法的方案设计.这一方案可解决由访问权限引起的内部系统访问的安全问题.