电脑体验，效果更佳

安全进程代数图谱-计算机领域：

研究人员

张焕国 周伟 李峻林 严飞 尹青 郭金庚 徐明迪 赵恒

相关术语

不可演绎 指称语义 进程等价 操作语义 信任链 无干扰 信息流安全 可复合的不可演绎模型

标签云