SAT-based lazy formal analysis method for security protocols

SAT-based lazy formal analysis method for security protocols

A SAT-based security protocol formalization analysis method named SAT-LMC is proposed.The method introduces optimized the initial state and transformational rules with “lazy” idea.The efficiency of detection is significantly improved.Moreover，by adding support for strong type flaw attack defect，the...

Full description

Saved in:
Bibliographic Details
Main Authors: Chun-xiang GU, Huan-xiao WANG, Yong-hui ZHENG, Dan XIN, Nan LIU
Format: Article
Language:zho
Published: Editorial Department of Journal on Communications 2014-11-01
Series:Tongxin xuebao
Subjects:
security protocols
formalization analysis
Boolean satisfiability problem
lazy analyze
type flaw attack
Online Access:http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2014.11.013/
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2014.11.013/

Similar Items