Otway-Rees协议改进及形式化证明

鲁来凤; 段新东; 马建峰

doi:10.3969/j.issn.1000-436x.2012.z1.033

您当前的位置：

首页 >

文章列表页 >

Otway-Rees协议改进及形式化证明

学术论文 | 更新时间：2024-06-05

- Otway-Rees协议改进及形式化证明
- Improvement and formal proof on protocol Otway-Rees
- “在安全协议领域，专家利用协议组合逻辑对Otway-Rees协议进行形式化分析，提出改进方案AOR协议，验证其密钥保密属性。”
- 通信学报 2012年33卷第Z1期页码：250-254
- 作者机构：
  
  1. 陕西师范大学数学与信息科学学院，陕西西安 710062
  2. 南阳理工学院软件学院，河南南阳 473004
  3. 西安电子科技大学计算机网络与信息安全教育部重点实验室，陕西西安 710071
- 作者简介：
  
  [ "鲁来凤（1979-），女，安徽桐城人，博士，陕西师范大学讲师，主要研究方向为无线网络安全。" ]
  [ "段新东（1974-），男，河南南阳人，博士，南阳理工学院讲师，主要研究方向为密码学和存储网络安全。" ]
  [ "马建峰（1963-），男，陕西西安人，西安电子科技大学计算机学院院长、教授、博士生导师，主要研究方向为密码学和无线网络安全等。" ]
- 基金信息：
  
  国家自然科学基金资助项目(61173190);陕西省自然科学基金资助项目(2009JM8002);陕西省自然科学基金资助项目(2012JQ8023);中央高校基本科研业务费基金资助项目(GK200902051);中央高校基本科研业务费基金资助项目(GK201002041);中央高校基本科研业务费基金资助项目(GK201002037)
- DOI：10.3969/j.issn.1000-436x.2012.z1.033
  中图分类号： TP393.09
- 网络出版日期：2012-09，
  
  纸质出版日期：2012-09-25
- 稿件说明：
移动端阅览
鲁来凤, 段新东, 马建峰. Otway-Rees协议改进及形式化证明[J]. 通信学报, 2012,33(Z1):250-254.

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.
鲁来凤, 段新东, 马建峰. Otway-Rees协议改进及形式化证明[J]. 通信学报, 2012,33(Z1):250-254. DOI： 10.3969/j.issn.1000-436x.2012.z1.033.

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.

浏览量

下载量

CSCD

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

提交

工具集

关联资源

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

室内定位隐私保护综述

基于CPN的安全协议形式化建模及安全分析方法

基于计算模型的安全协议Swift语言实施安全性分析

UCAP：云计算中一种PCL安全的用户认证协议

Otway-Rees协议改进及形式化证明

Improvement and formal proof on protocol Otway-Rees

DOI：10.3969/j.issn.1000-436x.2012.z1.033