一种基于适应度函数遗传算法的公平交换协议自动生成方法  

Automatic Generation of Fair Exchange Protocol Based on Fitness Function Genetic Algorithm

作　　者：刘冬梅[1,2] 卿斯汉[3] 侯玉文[4] 李鹏飞[3,2,4] 

机构地区：[1]中国科学院软件研究所基础软件国家工程研究中心,北京100080 [2]中国科学院研究生院,北京100039 [3]中国科学院软件研究所信息安全技术工程研究中心,北京100080 [4]中国科学院综合信息技术国家级重点实验室,北京100080

出　　处：《电子学报》2010年第5期1089-1094,共6页Acta Electronica Sinica

基　　金：国家自然科学基金(No.60970135);中国科学院知识创新工程重要方向项目(No.K9YC215652)

摘　　要：基于现有协议自动生成方法无法直接用于公平交换协议,我们对Clark-Jacob方法进行了扩展,针对公平交换协议的设计空间特征,获得公平性判定模型,模型引入通信信道类型编码,并将主体拥有集合和主体信念集合相分离来完成协议生成过程中消息的衍生和目标的判定,指出公平性包含的局部目标和全局目标,利用基于适应度函数的遗传优化算法,对用二进制表示的协议空间进行优化搜索,获得满足目标的协议,并通过实例说明文中方法的可行性.A new security protocol automatic generation method has been proposed, which goes for fair exchange protocol. Due to the properties of fair exchange protocol design space, we got a fairness decision model. We introduce the channel code into the protocol string,and separate the own sets from belief set of the principals to implement the derivation of messages and complete the decision of goals. There are two kinds of goal of fairness, which are respectively local goals and global goals. Using fitness function genetic algorithm, the protocol space coding with binary is proceeding the optimize search and get the protocol met goals finally.At last, we give an example to explain the feasibility of our method.

关 键 词：公平交换协议 协议自动生成 公平性 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]