安全协议形式化分析方法的关键技术研究

【作者】 谢鸿波

【导师】 周明天;

【作者基本信息】 电子科技大学 , 计算机应用技术, 2011, 博士