宋方敏 宫宁生 肖奚安 顾红芳 王洪光 李斌 朱朝晖 李娜

情境演算 复合型安全协议 不可否认性 实无穷 对角线方法 试管方式 公理集合论 表面方式

南京航空航天大学信 中国人民解放军理工大学理学院 南京工业大学信息科学与工程学院 南京航空航天大学信息科学与技术学院 南京航空航天大学计算机科学与工程系 南京大学计算机软件新技术国家重点实验室 南京航空航天大学信息科学与技术学院南京 南京大学计算机软件新技术国家重点实验室南...