基于先验路径选择的安全协议形式化分析优化方法

蔡光英, 蔡柳佳, 陆思奇, 王永娟, 王向宇,

Optimization Method for Formal Analysis of Security Protocols #br# Based on Prior Path Selection#br#

信息安全研究 . 2025, (8): 727 .