逻辑程序及其在安全协议验证中的应用

【作者】 周勇

【导师】 朱梧槚;

【作者基本信息】 南京航空航天大学 , 计算机应用技术, 2006, 博士