Improvement and formal proof on protocol Otway-Rees

您当前的位置：

首页 >

文章列表页 >

Papers | 更新时间：2024-06-05

- Improvement and formal proof on protocol Otway-Rees
- Journal on Communications Vol. 33, Issue Z1, Pages: 250-254(2012)
- 作者机构：
  
  1. 陕西师范大学数学与信息科学学院，陕西西安 710062
  2. 南阳理工学院软件学院，河南南阳 473004
  3. 西安电子科技大学计算机网络与信息安全教育部重点实验室，陕西西安 710071
- 作者简介：
- 基金信息：
  
  The National Natural Science Foundation of China(61173190);The Natural Science Foundation of Shaanxi Province(2009JM8002);The Natural Science Foundation of Shaanxi Province(2012JQ8023);The Fundamental Research Funds for the Central Universities(GK200902051);The Fundamental Research Funds for the Central Universities(GK201002041);The Fundamental Research Funds for the Central Universities(GK201002037)
- DOI：10.3969/j.issn.1000-436x.2012.z1.033
  CLC： TP393.09
- Online First：2012-09，
  
  Published：25 September 2012
- 稿件说明：
移动端阅览
Lai-feng LU, Xin-dong DUAN, Jian-feng MA. Improvement and formal proof on protocol Otway-Rees[J]. Journal on Communications, 2012, 33(Z1): 250-254.
DOI：

Lai-feng LU, Xin-dong DUAN, Jian-feng MA. Improvement and formal proof on protocol Otway-Rees[J]. Journal on Communications, 2012, 33(Z1): 250-254. DOI： 10.3969/j.issn.1000-436x.2012.z1.033.

Views

689

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

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

Survey on privacy protection indoor positioning

Formal modeling and security analysis method of security protocol based on CPN

Security analysis of security protocol Swift implementations based on computational model

UCAP:a PCL secure user authentication protocol in cloud computing

Related Author

SU Chunhua

ZHENG Lu

FENG Tao

Yanyan XU

Zhiheng WANG

Tao FENG

Xiang GONG

Jinze DU

Related Institution

Division of Computer Science, University of Aizu

School of Computer and Communication, Lanzhou University of Technology

State Key Laboratory of Information Engineering in Surveying Mapping and Remote Sensing, Wuhan University

College of Computer Science,South Central University For Nationalities

Education Information Technology and Resource Construction Center,Qinghai Radio ＆Television University

AI导读

AI问答

⁰