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

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

单位：中国科学院软件研究所基础软件国家工程研究中心; 北京100080; 中国科学院软件研究所信息安全技术工程研究中心; 北京100080; 中国科学院研究生院; 北京100039; 中国科学院综合信息技术部级重点实验室; 北京100080