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

基于现有协议自动生成方法无法直接用于公平交换协议,我们对Clark Jacob方法进行了扩展,针对公平交换协议的设计空间特征,获得公平性判定模型,模型引入通信信道类型编码,并将主体拥有集合和主体信念集合相分离来完成协议生成过程中消息的衍生和目标的判定,指出公平性包含的局部目标和全局目标,利用基于适应度函数的遗传优化算法,对用二进制表示的协议空间进行优化搜索,获得满足目标的协议,并通过实例说明文中方法的可行性.

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

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.