安全协议形式化分析中认证测试方法的研究

【作者】 刘家芬

【导师】 周明天;

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