乐观公平交换协议形式化逻辑及其自动证明技术

【作者】 陈明

【导师】 徐洁; 吴中福;

【作者基本信息】 重庆大学 , 计算机科学与技术, 2011, 博士