分析安全协议猜测攻击的模态逻辑方法

• Modal Logic Approach for Analyzing Security Protocol Guessing Attacks