电脑体验，效果更佳

形式化分析图谱-计算机领域：

研究人员

彭红艳 高悦翔 廖振岚 岳东峰 周倜 李肖坚 彭代渊 王立斌

相关术语

可信第三方 密码学可靠性 CSP方法 公平性 入侵者模型 Dolev-Yao模型 密码系统相关缺陷 认证性

上位概念

安全协议

标签云