面向主体的软件工程论文

论文题目:安全协议的形式化方法及其应用的研究论文类型:博士论文论文专业:计算机系统结构作者:华东明导师:侯紫峰关键词:安全协议,身份认证,密钥协商,信道,知识,信念,主体,面向...