形式化分析SA-TEK 3步握手协议
徐森，杨硕，张克非
Formal Analysis of SA-TEK 3-Way Handshake Protocols
XU Sen* (徐森),YANG Shuo (杨硕)，ZHANG Kefei (张克非)
J Shanghai Jiaotong Univ Sci . 2023, (6): 753 -762 .  DOI: 10.1007/s12204-021-2340-2