基于SVO逻辑的公钥协议进化生成  

Automatic generation of public key cryptographic protocols based on SVO logic

作　　者：毛晨晓[1] 罗文坚[1] 曹先彬[1] 王煦法[1] 

机构地区：[1]中国科学技术大学计算机科学与技术系,安徽合肥230027

出　　处：《系统工程与电子技术》2006年第3期439-443,共5页Systems Engineering and Electronics

基　　金：安徽省教育厅重点项目(2004kj360zd);国家博士后基金(2003034433)资助课题;第十四届中国神经网络学术会议优秀论文

摘　　要：提出了一种公钥密码体制安全协议的生成方法,用进化策略来生成公钥协议,并采用SVO逻辑来描述和验证公钥协议。所提方法具有较高的扩展性,对于不同的需求,可以生成不同的安全协议。实验表明,所提出的方法能够高效地生成公钥协议,保证所生成公钥协议的安全性,并有效地提高协议效率和降低协议中消息的冗余度。An automatic generating approach for public key cryptographic protocols is presented. SVO logic is used to describe and verify the protocols. Evolutionary strategy is used as the core generating algorithm. The approach can guarantee the security, increase the efficiency and reduce the redundancy of the generated protocols. The experimental results show that this approach is effective and of high efficiency.

关 键 词：安全协议 公钥密码体制 SVO逻辑 进化策略 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]