SAT-based lazy formal analysis method for security protocols

您当前的位置：

首页 >

文章列表页 >

security protocol | 更新时间：2024-06-05

- SAT-based lazy formal analysis method for security protocols
- Journal on Communications Vol. 35, Issue 11, Pages: 117-125(2014)
- 作者机构：
  
  1. 解放军信息工程大学网络空间安全学院，河南郑州 450001
  2. 数学工程与先进计算国家重点实验室，江苏无锡 214125
- 作者简介：
- 基金信息：
  
  Henan Provincial Science and Technology Innovation Fund for Outstanding Young(134100510002);Foundation and Research in Cutting-edge Technologies in the Project of Henan Province(142300410002)
- DOI：10.11959/j.issn.1000-436x.2014.11.013
  CLC： TN915.0
- Online First：2014-11，
  
  Published：25 November 2014
- 稿件说明：
移动端阅览
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：

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.

Views

1146

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Analysis and improvement of sensor networks security protocol

Related Author

YAN Li-li1

PENG Dai-yuan1

GAO Yue-xiang1

Related Institution

Information Security and National Computing Grid Laboratory,Southwest Jiaotong University

Department of Network Engineering,Chengdu University of Information Technology

Department of Computer Science, Sichuan Normal University

AI导读

AI问答

⁰