周洪伟 怀进鹏 郭渊博 胡春明 曾庆凯

安全评估 安全协议验证 形式化验证 类型推理 多重秘密共享 Hash函数 可信信道 门限秘密共享

河南郑州 河南省电视台 南京大学计算机科学与技术系 北京航空航天大学计算机学院 南京大学计算机科学与技术系南京 解放军信息工程大学电子技术学院 南京大学计算机软件新技术国家重点实验室