合同原子性及ACAP协议的实现

针对Tygar提出的电子商务协议3级原子性：钱原子性、商品原子性及确认发送原子性,首次提出了一个更高层次的合同原子性概念,并引进了合同自动执行和自动仲裁概念,同时对合同的形式化描述问题及合同原子性协议的实现模型做了初步探讨,最后给出了一个满足合同原子性的电子商务协议ACAP及其实现方案,并对ACAP的匿名性、安全性、原子性做了分析。     

一种基于约束管理的CSCW支撑平台结构模型

提出了一种新的基于约束的ＣＳＣＷ支撑系统结构模型，该模型构筑在现有的分布式系统之上，向上提供各种协同功能。现实世界中的各种协同要求从理论上均同象为分布对象之间的一组约束关系，所以可以通过一个″通过约束管理器″即可透明地定义各种对象事件之间的约束关系，形成－协同规则库，并通过该约束管理器的″约束条件触发″，″约束求解（推理）″，″冲突协调″机制便可满足不同层次的协同应用要求。该模型采用了适合于ＣＳＣ     

移动代码加密理论研究

“如何保护移动代码不受结点主机的篡改”是移动智能体及主动网安全机制的研究难点，传统采用防篡改硬件保护法而对基于密码学的纯软件保护法研究很少．介绍了该类方法的研究现状并着重阐述了移动代码加密理论的产生背景、盲计算理论基础、与传统加密理论差异及该理论目前所存在的问题，提出了面向对象的加密理论概念，指出其未来的研究方向及潜在的应用领域．     

SETBOC--一种新型的基于单向身份认证的安全电子交易协议

传统的安全电子交易协议需做交易3方交叉认证，协议复杂、实用性差。本文提出了一种新型的基于单向身份认证技术的安全电子交易协议SETBOC，支持客户、商家、银行间的相互身份认证，并提供了交易的冲突仲裁策略，具有效率高、符合钱原子性、易实现优点。     

XML数据流分页频繁子树挖掘研究

随着XML数据流的广泛应用,从挖掘XML数据流中发现知识具有重要的理论与应用价值.相比其他频繁模式挖掘,大型XML文档与数据流的频繁子树挖掘面临困难:XML数据流不可能整体在内存解析;对XML数据流分段挖掘必须考虑XML数据的半结构化特征等.针对上述问题,提出数据流分页频繁子树挖掘模型Tmlist.Tmlist对XML数据流进行分页,管理跨页节点及频繁候选子树的跨页增长,逐页挖掘频繁子树;频繁候选子树的增长根据根节点层次由浅至深地在最右路径加入频繁候选节点,避免以低层次为根子树的重复性递归增长;对频繁候选子树采用子树拓扑序列和最右路径共同标识,子树的增长不需要对子树前缀进行匹配,省去前缀节点存储与匹配开销;以页面最小支持度对频繁候选子树按页筛选,子树按页面衰减度衰减支持度、剪枝.Tmlist在可控误差范围内降低频繁子树挖掘的空间消耗,提高内存利用率和挖掘效率.     

一种基于Schnorr体制的同时型多盲签名方案

本文提出了一种基于Schnorr体制的非平凡同时型多盲签名方案，可以同时完成盲签名和同时型多签名尺寸不会随签名人数增加而增加，并对该签名方案的正确性、盲性和不可伪造性作了证明，文章最后给出了一个基于该方案的具体应用。