何德全 李强 周倜 张艳 胡小平 王兵山 王艳梅 刘锋

安全协议 远程备份 语义函数 面向对象程序设计 分布式事务处理 安全性质 逻辑程序 指称语义

湖南长沙 四川大学数学学院 国防科技大学计算机学院 国防科技大学电子计算机系 北京航空航天大学计算机学院 国防科技大学航天与材料工程学院 湖南师范大学数学与计算机科学学院 北京航空航天大学计算机科学与工程学院