非否认协议的UC可靠的形式化验证

【作者】 杨杰

【导师】 傅育熙;

【作者基本信息】 上海交通大学 , 计算机科学, 2009, 硕士