Rule-based dependency models for security protocol analysis
Qingfeng Chen, Shichao Zhang, Yi‐Ping Phoebe Chen · Integrated Computer-Aided Engineering · 2008
Security protocol analysis has been discussed for quite some time in the past few years. Although formal methods have been widely used to identify various vulnerabilities, mainly susceptibility to freshness attacks and impersonation, the arisen incon