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

安全协议 远程备份 语义函数 面向对象程序设计 分布式事务处理 安全性质 逻辑程序 指称语义 灾难恢复 语义论域 抽象文法 数据备份 映射

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