一种分析电子商务协议的新工具

提出了一种新的形式化分析方法,可用于分析电子商务协议.与Kailar逻辑相比,它有3个优点:(1)能够有效地分析协议的公平性,在进行公平性分析时充分考虑了通信信道的可靠性;(2)初始化拥有集合只依赖于环境,不需要人为地引入初始化假设;(3)增加了密文理解规则,能够有效地分析包含有签过名的加密公式的消息.  

Kailar逻辑的缺陷

近年来，电子商务协议的设计逐渐成为热点.可追究性是指电子商务协议迫使个人或组织对自己在电子交易中的行为负责的能力.缺乏可追究性,电子交易容易引起争议.因此，Rajashekar Kailar提出了一种用于分析电子商务协议中可追究性的形式化分析方法,简称Kailar逻辑.该文指出这一逻辑的缺陷：（1） 不能分析协议的公平性；(2) 对协议语句的解释及初始化假设是非形式化的，存在局限性;(3) 无法处理密文.  

电子商务协议中的可信第三方角色

在安全电子商务协议中,可信第三方TTP(trusted third party)担任重要的角色.通过3类不同的协议,即Coffey-Saidha协议、CMP1协议和Asoken-Shoup-Waidner协议,指出TTP在inline TTP协议、online TTP协议和offline TTP协议中的不同作用.对上述协议进行了全面的分析,分别指出它们的特点、缺陷与改进方法.  

一种电子商务协议形式化分析方法

提出了一种新颖的形式化方法,可以用于分析电子商务协议的安全性质,例如可追究性和公平性.与以前的工作相比较,主要贡献在于:(1)对协议主体的拥有集合给出了形式化定义,且主体的初始拥有集合只依赖于环境;(2)将协议的初始状态假设集合分为3类:基本假设集合、可信假设集合和协议理解假设集合,避免了因非形式化的初始假设而产生的分析错误;(3)对可信假设作细粒度的形式化规范,揭示协议的内涵;(4)建立公理系统,使新方法更为严格与合理.  

网络计费系统数据采集技术研究

计费系统对于ISP以及与因特网互连的Intranet都必不可少，计费系统的开发，数据采集是关键。文中介绍了满足不同计费方式需要的数据采集技术，以及它们各自的特点，应用数据采集技术实现并开发出满足自己单位需求的计费系统。  

SET协议中问题的分析及解决方案

文中对ＳＥＴ协议中的“ｋ ｏｕｔ ｏｆ ｎ”问题进行了全面的分析，并提出了完整的解决方案，在对ＳＥＴ付费业务流程中的两个关键性问题用ＮＤＬ逻辑进行验证后，给出了它们的Ｐｒｏｌｇｏ程序流程，全文着重于在ＳＥＴ协议中实现“防抵赖”和“可迫踪”两种安全机制，并在此基础上实现用Ｐｒｏｌｏｇ语言程序模拟验证过程，最后对电子商务的发展和今后将要做的工作做了一些初步的探讨。  

802.1x标准和Radius协议的扩展应用研究

首先介绍了802．1x标准和RADIUS协议的基本概念和原理，并对802．1x标准和RADIUS协议在宽带网络和无线网络中的应用做了分析，结合实际应用的需求，指出了802．1x标准和RADIUS协议在实际应用中的不足与缺陷，分析其难以推广的原因，提出了实现扩展应用的设计方案和具体实现方法，以符合宽带环境下认证和计费的实际应用需求。  

校园网安全计费方案探讨

随着校园网的不断发展，对网络安全计费的要求越来越高。该文探讨了以前校园网基于IP计费方案的不足，并对基于用户计费的方案作了介绍。  

Knowledge acquisition for expert systems in accounting and financial problem domains

Since the mid-1980s, expert systems have been developed for a variety of problems in accounting and finance. The most commonly cited problems in developing these systems are the unavailability of the experts and knowledge engineers and difficulties with the rule extraction process. Within the field of artificial intelligence, this has been called the ‘knowledge acquisition’ (KA) problem and has been identified as a major bottleneck in the expert system development process. Recent empirical research reveals that certain KA techniques are significantly more efficient than others in helping to extract certain types of knowledge within specific problem domains. This paper presents a mapping between these empirical studies and a generic taxonomy of expert system problem domains. To accomplish this, we first examine the range of problem domains and suggest a mapping of accounting and finance tasks to a generic problem domain taxonomy. We then identify and describe the most prominent KA techniques employed in developing expert systems in accounting and finance. After examining and summarizing the existing empirical KA work, we conclude by showing how the empirical KA research in the various problem domains can be used to provide guidance to developers of expert systems in the fields of accounting and finance.  

一种分析电子商务协议的新方法

通过将Kailar逻辑和LPC形式方法相结合，提出一种新的用于分析电子商务协议的形式化方法，新方法中的推导规则既简单便捷同时又具有分析签名和分析密文的能力，该方法既能描述协议中参加者的行为又能够分析参加者拥有的知识和推导协议的可追究性和公平性，使用该方法不仅可以分析使用在线第三方的协议又可以分析使用脱线第三方的电子商务协议。与其它的方法相比较，这一新方法既避免了Kailar逻辑的缺陷又弥补了LPC方法的不足。