一种小额支付协议的研究与设计

分析了PayWord这种小额支付协议,针对PayWord的一些关于交易原子性的局限性,提出了一种新的支付协议--CertWord,此协议沿用PayWord协议的Payword链来表示货币,充分利用交易证书对交易信息进行签名,并记录交易步骤的状态,从流程上保证交易的原子性。     

实时应用的可预测性研究和分析

阐述了实时应用的可预测性概念,以及实时应用的静态特性和动态特性,并从静态可预测性和动态可预测性的两个方面分析支持可预测性的主要策略。     

分布式IPC实时性能的研究

抽象出分布式实时ＩＰＣ的一致模型,以此模型为基础,以及时性和可预测性两个方面分析了影响其实时性能的主要因素,最后总结出一个分析评价分布式ＩＰＣ实时性能的客观标准,作为研究开发分布式实时系统的参考。     

分布式实时消息通信的设计与实现

讨论了ＵＮＩＸ原有的消息队列机制基础上设计和实现分布式实时消息通信机制的方法。该机制提供透明的消息通信接口,支持带时间期限约束的实时消息请求。用户在系统调用的参数中可以给定消息请求的时间期限,对于多个远程消息请求,系统能按紧迫程度排队,以保证实时性。系统还可以定时检测消息请求的期限,对能否在期限内完成进行预测并反馈给相应进程。     

实时应用的可预测性研究和分析

阐述了实时应用的可预测性概念,以及实时应用的静态特性和动态特性,并从静态可预测性和动态可预测性两个方面分析支持可预测性的主要策略．     

分布式IPC实时性能的研究

抽象出分布式实时ＩＰＣ的一致模型,以此模型为基础,从及时性和可预测性两个方面分析了影响其实时性能的主要因素,最后总结出一个分析评价分布式ＩＰＣ实时性能的客观标准,作为研究开发分布式实时系统的参考     

基于PKI的认证电子邮件系统的研究

阐述了“认证电子邮件”的概念及其所提供的确保通信不可抵赖的邮件服务 .提出了一个基于PKI的认证电子邮件协议 ,并对协议的安全性、效率等进行了分析 .最后 ,简要讨论了协议实现的关键技术     

一种新的PKI证书撤销机制

根据PKI证书撤销机制的评价标准，对当前几种证书撤销机制－分段式CRLs,Delta-CRLs和重叠发布CRLs进行了分析比较。针对这几种机制的优缺点，提出了一种新的PKI证书撤销机制－重叠发布滑动窗口分段式Delta-CRLs，分析了该机制的性能。该机制减小了信任方所需下载的CRL大小，降低了CRL库的峰值负荷和平均负荷，改善了时间碎片问题和可扩展性问题。     

基于角色的多级访问控制模型

在基于角色的访问控制（role-based access control,RBAC）模型的基础上提出了一种基于角色的多级访问控制模型RBMHAC（role-based multi-hierarchy access control）,该模型引入了“域”的概念来根据现实世界中的等级管理体制,通过对“域”用户的安全管理来有效地实现多级安全管理,RBHMAC模型能提供更加完善的访问控制策略,对角色的管理也更加方便高效。     

一种局域网分布式文件系统的设计与实现

介绍了基于局域网的分布式ＵＮＩＸ操作系统中分布式文件系统的设计与实现技术。ＨＺＤＵＮＩＸ分布式文件系统主要集中于对ＵＮＩＸ内核的改造,提供本地及远地文件操作一体化的接口,采用基于代理的分布式文件服务技术,有较快的响应速度,从而较好地实现了透明性,并支持原ＵＮＩＸ大多数ＳＨＥＬＬ命令 。