中文模板 关 键 词: Strand空间;认证协议;协议证明;形式化方法 [gap=8623]Key words: Strand space; authentication protocol; protocol proof; formal method
基于6个网页-相关网页
security protocol proof 安全协议证明
Protocol proof and analysis 协议证明和分析
protocol correctness proof 协议正确性证明
interactive proof protocol 交互式证明协议
zero-knowledge proof protocol 零知识证明协议
应用推荐