电脑体验，效果更佳

安全协议模型图谱-计算机领域：

研究人员

蔡圣闻 王崇峻 白英彩 韩进 唐冶文 金巍 赖海光 谢俊元

相关术语

形式化方法 安全协议验证 现实世界模型 类型化系统 πt演算 安全域关系模型

标签云