一种基于适应度函数遗传算法的公平交换协议自动生成方法
文献类型:期刊论文
作者 | 刘冬梅 ; 卿斯汉 ; 侯玉文 ; 李鹏飞 |
刊名 | 电子学报
![]() |
出版日期 | 2010 |
卷号 | 38期号:5页码:1089-1094 |
关键词 | 公平交换协议 协议自动生成 公平性Function evaluation Genetic algorithms Network protocols |
ISSN号 | 0372-2112 |
其他题名 | automatic generation of fair exchange protocol based on fitness function genetic algorithm |
中文摘要 | 基于现有协议自动生成方法无法直接用于公平交换协议,我们对Clark-Jacob方法进行了扩展,针对公平交换协议的设计空间特征,获得公平性判定模型,模型引入通信信道类型编码,并将主体拥有集合和主体信念集合相分离来完成协议生成过程中消息的衍生和目标的判定,指出公平性包含的局部目标和全局目标,利用基于适应度函数的遗传优化算法,对用二进制表示的协议空间进行优化搜索,获得满足目标的协议,并通过实例说明文中方法的可行性. |
语种 | 中文 |
公开日期 | 2011-05-23 |
附注 | 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. |
源URL | [http://124.16.136.157/handle/311060/10074] ![]() |
专题 | 软件研究所_基础软件国家工程研究中心_期刊论文 |
推荐引用方式 GB/T 7714 | 刘冬梅,卿斯汉,侯玉文,等. 一种基于适应度函数遗传算法的公平交换协议自动生成方法[J]. 电子学报,2010,38(5):1089-1094. |
APA | 刘冬梅,卿斯汉,侯玉文,&李鹏飞.(2010).一种基于适应度函数遗传算法的公平交换协议自动生成方法.电子学报,38(5),1089-1094. |
MLA | 刘冬梅,et al."一种基于适应度函数遗传算法的公平交换协议自动生成方法".电子学报 38.5(2010):1089-1094. |
入库方式: OAI收割
来源:软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。