BAN逻辑:形式化分析相关硕士博士期刊学术论文

BAN逻辑可以证明协议是否能够达到预期目标，还能够发现协议中存在的一些缺陷。论文在分析了BAN逻辑的主要规则和分析步骤之后，着重研......