Design and validation for a remote attestation security protocol

WANG Dan; WEI Jin-feng; ZHOU Xiao-dong

您当前的位置：

首页 >

文章列表页 >

Design and validation for a remote attestation security protocol

更新时间：2024-10-14

- Design and validation for a remote attestation security protocol
- Vol. 30, Issue S2, Pages: 29-36(2009)
- 作者机构：
  
  北京工业大学计算机学院
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP393.08
- Published：2009
- 稿件说明：
移动端阅览
WANG Dan, WEI Jin-feng, ZHOU Xiao-dong. Design and validation for a remote attestation security protocol[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

Views

964

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Improved direct anonymous attestation scheme for mobile computing platforms

Trusted and anonymous authentication scheme for wireless networks

Direct anonymous authentication scheme for wireless networks under trusted computing

Research on certificateless anonymous authentication and key agreement scheme of vehicle network based on CPN

Rational-security and fair two-party comparison protocol

Related Author

Li YANG

Jun-wei ZHANG

Jian-feng MA

Zhi-hong LIU

YANG Li1

MA Jian-feng 1

ZHU Jian-ming 2

YANG Li1

Related Institution

School of Computer Science ＆Technology,Xidian University

School of Information, Central University of Finance Economics

Key Laboratory of Computer Networks and Information Security,Ministry of Education,Xidian University

School of Computer Science,Xidian University

Division of Computer Science, University of Aizu

AI问答

⁰