电子商务协议安全性的形式化分析方法研究

【作者】 李云峰

【导师】 何大可;

【作者基本信息】 西南交通大学 , 交通信息工程与控制, 2009, 博士