一种密钥协商协议的自动化设计方法

李松; 王丽娜; 余荣威; 匡波

您当前的位置：

首页 >

文章列表页 >

一种密钥协商协议的自动化设计方法

研究论文_计算机科学 | 更新时间：2021-04-02

- 一种密钥协商协议的自动化设计方法
- An Automated Design Method for Key Assignment Protocol
- 武汉大学学报（理学版） 2009年55卷第1期页码：89-92
- 作者机构：
  
  1. 武汉大学计算机学院/空天信息安全与可信计算教育部重点实验室
  2. 中国人民解放军75742部队
- 作者简介：
- 基金信息：
  
  国家高技术研究发展计划（863）项目（2008AA01Z404）;国家自然科学基金（90718006,60743003）;教育部博士点基金（20070486107）资助项目
- DOI：
  中图分类号： TN918.2
- 纸质出版日期：2009-01-01，
- 稿件说明：
移动端阅览
[1]李松,王丽娜,余荣威,匡波.一种密钥协商协议的自动化设计方法[J].武汉大学学报(理学版),2009,55(01):89-92.

LI SONG1, WANG LINA1, YU RONGWEI1, et al. An Automated Design Method for Key Assignment Protocol. [J]. 2009, 55(1): 89-92.
[1]李松,王丽娜,余荣威,匡波.一种密钥协商协议的自动化设计方法[J].武汉大学学报(理学版),2009,55(01):89-92. DOI：

LI SONG1, WANG LINA1, YU RONGWEI1, et al. An Automated Design Method for Key Assignment Protocol. [J]. 2009, 55(1): 89-92. DOI：

摘要

通过引入优胜劣汰的自然规律

提出了一种改进的基于演化计算的安全协议自动化设计方法.该方法采用SVO逻辑作为描述协议的基本工具

给出了能全面衡量安全协议个体性能的评估函数

并据此理论设计出一种满足安全目标的密钥协商协议

保证了最终生成协议为最优解.实验结果显示:由于在协议生成过程中

同时进行了该协议的安全验证

能很好地保证所涉及协议的正确性和安全性

表明该方法具有较强的可行性和适用性.

Abstract

By introducing of the natural law of survival of the fittest

an improved method of automatically designing cryptographic protocols is proposed.This method applies SVO logic as a basic tool to describe protocols

constructs a fitness function to assess the performance of individuals systematically and designs a key agreement protocol to meet the corresponding objectives for security.The result shows that: as the generation

the protocol has been verified concurrently when it is generated

to ensure its correctness and security.So the method has a strong feasibility and applicability.

关键词

安全协议演化计算自动化设计SVO逻辑

Keywords

security protocolevolutionary computingautomated designSVO logic

references

浏览量

145

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

安全协议分析中参与者个数上确界的论证

基于可信第三方的数据库水印安全协议

基于身份密码体制在无线局域网安全协议中的应用