电脑体验，效果更佳

计算密码学图谱-计算机领域：

研究人员

金锋 田园 陈治宇 李明楚 王颖 金月

相关术语

混合方案 Dolev-Yao刚性 公钥隐密性 Dolev-Yao相似性 形式模型 匿名性 UC-相似 可证明的安全性

标签云