首页
|
帮助
|
阅读器下载
|
插件下载
|
登录
中国博士学位论文全文数据库
逻辑程序及其在安全协议验证中的应用
【作者】
周勇
;
【导师】
朱梧槚;
【作者基本信息】
南京航空航天大学
, 计算机应用技术, 2006, 博士