安全协议证明相关硕士博士期刊学术论文 - 信丰网

安全协议证明相关论文

Strand空间中基于安全密钥概念的证明思路

提出了Strand空间模型中证明安全协议的一个新思路,它从安全密钥的概念出发,参照基于理想概念的证明方法,得出证明所需的预备结论,......

期刊

计算机科学技术基础学科安全协议证明 strand空间模型安全密钥理想概念 basic department of computer science and

看过本文同时还关注