面向远程证明的安全协议设计方法

余荣威; 王丽娜; 匡波

您当前的位置：

首页 >

文章列表页 >

面向远程证明的安全协议设计方法

学术论文 | 更新时间：2024-10-14

- 面向远程证明的安全协议设计方法
- Method of designing security protocol for remote attestation
- 通信学报 2008年第10期页码：19-24
- 作者机构：
  
  1. 武汉大学计算机学院
  2. 武汉大学空天信息安全与可信计算教育部重点实验室
- 作者简介：
- 基金信息：
  
  国家自然科学基金资助项目(90718006,60743003);国家高技术研究发展计划(“863”计划)基金资助项目(2008AA01Z404);国家重点基础研究发展计划(“973”计划)基金资助项目(2007CB310801)~~
- DOI：
  中图分类号： TP393.08
- 纸质出版日期：2008
- 稿件说明：
移动端阅览
余荣威, 王丽娜, 匡波. 面向远程证明的安全协议设计方法[J]. 通信学报, 2008,(10):19-24.

YU Rong-wei1, WANG Li-na1, KUANG Bo1. Method of designing security protocol for remote attestation[J]. 2008, (10): 19-24.
余荣威, 王丽娜, 匡波. 面向远程证明的安全协议设计方法[J]. 通信学报, 2008,(10):19-24. DOI：

YU Rong-wei1, WANG Li-na1, KUANG Bo1. Method of designing security protocol for remote attestation[J]. 2008, (10): 19-24. DOI：

摘要

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

提出了改进的基于演化计算的密码协议自动化设计方法。该方法采用模态逻辑作为描述协议的基本工具

重点改进了衡量安全协议个体性能的评估函数

以求获得全局最优解。实验结果显示

该方法能保证所设计协议的正确性和安全性

具有较强的可行性和适用性。

Abstract

By the introduction of the natural law of survival of the fittest

an improved method of automatically designing cryptographic protocols was proposed.This method regards BAN-like logic as a basic tool to describe them

construct a fitness function to assess the performance of individuals systematically in order to reach the best solutions.The result shows the method can assure correctness and security of the designed protocol.Furthermore

it has a strong feasibility and applicability.

关键词

Keywords

references

浏览量

242

下载量

CSCD

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

提交

工具集

关联资源

云虚拟化平台可信证明技术研究综述

基于SGX的虚拟机动态迁移安全增强方法

基于双层非平衡散列树的云平台远程验证方案

改进的移动计算平台直接匿名证明方案

可信的匿名无线认证协议