电脑体验，效果更佳

TMN密码协议图谱-计算机领域：

研究人员

杨志华 陈清亮 吴立军 冯登国 王春玲 苏开乐 张玉清

相关术语

自动机 模型检测 SMV 多主体系统 多智体系统 形式方法 时态认知逻辑 协议验证

标签云