网络协议安全性分析中的逻辑化方法研究

【作者】 石曙东

【导师】 李芝棠;

【作者基本信息】 华中科技大学 , 计算机系统结构, 2009, 博士