基于SAT的安全协议惰性形式化分析方法

顾纯祥; 王焕孝; 郑永辉; 辛丹; 刘楠

doi:10.11959/j.issn.1000-436x.2014.11.013

您当前的位置：

首页 >

文章列表页 >

基于SAT的安全协议惰性形式化分析方法

安全协议 | 更新时间：2024-06-05

- 基于SAT的安全协议惰性形式化分析方法
- SAT-based lazy formal analysis method for security protocols
- “在安全协议领域，专家提出了SAT-LMC分析方法，优化了安全性检测效率，并检测出更丰富的攻击类型。”
- 通信学报 2014年35卷第11期页码：117-125
- 作者机构：
  
  1. 解放军信息工程大学网络空间安全学院，河南郑州 450001
  2. 数学工程与先进计算国家重点实验室，江苏无锡 214125
- 作者简介：
  
  [ "顾纯祥（1976-），男，安徽霍山人，博士，解放军信息工程大学副教授，主要研究方向为网络安全与密码学。" ]
  [ "王焕孝（1988-），男，山东寿光人，解放军信息工程大学硕士生，主要研究方向为网络安全与密码学。" ]
  [ "郑永辉（1976-），男，江西高安人，博士，解放军信息工程大学讲师，主要研究方向为网络安全与密码学。" ]
  [ "辛丹（1990-），女，陕西西安人，解放军信息工程大学硕士生，主要研究方向为网络信息安全。" ]
  [ "刘楠（1981-），女，湖北襄阳人，博士，解放军信息工程大学讲师，主要研究方向为网络信息安全。" ]
- 基金信息：
  
  河南省科技创新杰出青年基金资助项目(134100510002);河南省基础与前沿技术研究基金资助项目(142300410002)
- DOI：10.11959/j.issn.1000-436x.2014.11.013
  中图分类号： TN915.0
- 网络出版日期：2014-11，
  
  纸质出版日期：2014-11-25
- 稿件说明：
移动端阅览
顾纯祥, 王焕孝, 郑永辉, 等. 基于SAT的安全协议惰性形式化分析方法[J]. 通信学报, 2014,35(11):117-125.

Chun-xiang GU, Huan-xiao WANG, Yong-hui ZHENG, et al. SAT-based lazy formal analysis method for security protocols[J]. Journal on communications, 2014, 35(11): 117-125.
顾纯祥, 王焕孝, 郑永辉, 等. 基于SAT的安全协议惰性形式化分析方法[J]. 通信学报, 2014,35(11):117-125. DOI： 10.11959/j.issn.1000-436x.2014.11.013.

Chun-xiang GU, Huan-xiao WANG, Yong-hui ZHENG, et al. SAT-based lazy formal analysis method for security protocols[J]. Journal on communications, 2014, 35(11): 117-125. DOI： 10.11959/j.issn.1000-436x.2014.11.013.

浏览量

下载量

CSCD

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

提交

工具集

关联资源

传感器网络安全协议的分析和改进

基于SAT的安全协议惰性形式化分析方法

SAT-based lazy formal analysis method for security protocols

DOI：10.11959/j.issn.1000-436x.2014.11.013