安全协议与形式化方法国科大百度云网盘PDF下载

当前位置：首页 > 名称

图书搜索：

出版时间：

至

大约有60,000项符合查询结果项。（搜索耗时：0.0307秒）

安全协议理论与方法

查看PDF目录购买本书
范红，冯登国编著2003 年出版421 页ISBN：7030122771
本书共12章，系统介绍了当前计算机网络安全协议的理论和方法。主要包括安全协议的基本概念，缺陷以及可能受到的攻击类型，基于推理结构性方法，基于攻击结构性方法，基于证明结构性方法，安全协议分析的形式化接口，......
网络安全协议的形式化分析与验证

查看PDF目录购买本书
张爱新，李建华著2010 年出版214 页ISBN：9787111297260
本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议。
网络协议与网络安全

查看PDF目录购买本书
凌力编著2007 年出版262 页ISBN：9787302157564
本书介绍网络协议与网络安全的相关内容。
安全协议理论与实践

查看PDF目录购买本书
冯登国著2011 年出版520 页ISBN：9787302232902
本书共分16章，系统地介绍安全协议的基本理论、关键技术以及典型应用和实践。主要包括密码算法基础知识、可证明安全性、形式化、混合、零知识证明、安全多方计算等基础理论和方法。...
网络安全协议理论与技术

查看PDF目录购买本书
范明钰，王光卫编著2009 年出版223 页ISBN：9787302193005
本书主要介绍Internet协议及其基本概念、安全协议的密码学基础、基本安全协议、抗攻击的安全协议及实际使用的安全协议。
网络安全：加密原理、算法与协议

查看PDF目录购买本书
Man Young Rhee著2007 年出版310 页ISBN：7302152594
本书介绍因特网有关的安全性问题，以及网络安全加密，实现算法与协议等内容。
安全协议的建模与分析：CSP方式

查看PDF目录购买本书
（英）Peter Ryan等著；张玉清，莫燕，吴建耀等译2005 年出版235 页ISBN：7111157214
本书介绍了安全协议的一种建模与分析方法。
安全协议分析与设计

查看PDF目录购买本书
卫剑钒，陈钟编著2010 年出版156 页ISBN：9787115220028
本书系统地介绍了安全协议（主要是认证协议和密钥建立协议）的基本概念、攻击方法、分析方法和设计方法。本书可作为信息安全、数学、计算机、通信专业的研究生和本科生教材，也可作为相关专业的研究人员和工程技...
安全协议模型与设计

查看PDF目录购买本书
刘天华，朱宏峰著2012 年出版209 页ISBN：9787030343260
本书紧紧围绕解决安全协议中针对不同服务环境的设计思想、设计方法、所采用的模型以及折中效率与安全等实际问题，并给出安全性证明、通信量和计算量等参数的横向对比结果，使读者对安全协议领域的研究有深刻的...
计算机网络安全协议、技术与应用

查看PDF目录购买本书
黄河编著2008 年出版389 页ISBN：9787302180579
本书以TCP/IP网络安全协议为核心，全面、系统地论述计算机网络安全的协议、技术与应用等问题。

1 2 3 4 5 6 7 8 9 10 下一页

学科分类