远程证明安全协议的设计与验证

王丹; 魏进锋; 周晓东

您当前的位置：

首页 >

文章列表页 >

远程证明安全协议的设计与验证

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

- 远程证明安全协议的设计与验证
- Design and validation for a remote attestation security protocol
- 通信学报 2009年30卷第S2期页码：29-36
- 作者机构：
  
  北京工业大学计算机学院
- 作者简介：
- 基金信息：
  
  国家重点基础研究发展计划("973"计划)基金资助项目(2007CB311106)
- DOI：
  中图分类号： TP393.08
- 纸质出版日期：2009
- 稿件说明：
移动端阅览
王丹, 魏进锋, 周晓东. 远程证明安全协议的设计与验证[J]. 通信学报, 2009,30(S2):29-36.

WANG Dan, WEI Jin-feng, ZHOU Xiao-dong. Design and validation for a remote attestation security protocol[J]. 2009, 30(S2): 29-36.
王丹, 魏进锋, 周晓东. 远程证明安全协议的设计与验证[J]. 通信学报, 2009,30(S2):29-36. DOI：

WANG Dan, WEI Jin-feng, ZHOU Xiao-dong. Design and validation for a remote attestation security protocol[J]. 2009, 30(S2): 29-36. DOI：

摘要

通过对现有远程证明协议交互协议的分析

提出了一种改进的远程证明协议。为了验证该协议是否符合安全需求

采用安全协议形式化分析方法中的基于攻击类的CSP方法对协议进行了CSP建模

同时通过对模型进行的FDR检测

发现了协议中存在的漏洞

给出了漏洞的修改方案。经过再次验证得到了符合安全需求的安全协议。该协议可用于可信计算的远程证明

能够保证远程证明的正确完成和交互过程中消息的保密性、完整性、认证性及新鲜性。

Abstract

By analyzing current remote attestation model

an improved remote attestation model was provided and de-signed.In order to verify whether it conforms to security requirement

a formal analysis method CSP was used to analyze the protocol and model it with CSP method.Meanwhile

it was checked with FDR tool.A loophole of the protocol was found.For solving the problem

an improvement to the protocol was made.It has been verified that security properties can be guaranteed by the re-validate.This protocol can be used for the remote attestation in trust computing and it can ensure the secrecy

integrity

authentication and freshmen in the interoperation process of the protocol.

关键词

Keywords

references

浏览量

329

下载量

CSCD

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

提交

工具集

关联资源

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

可信的匿名无线认证协议

直接匿名的无线网络可信接入认证方案

基于CPN的车载网络无证书匿名认证和密钥协商方案研究

理性安全的公平两方比较协议