安全协议原理与验证

删除本页内容

丛书:普通高校信息安全系列教材

作者:王聪,刘军主编

ISBN:1978-7-5635-2672-72

关键词:计算机网络-安全技术-通信协议

页数:303

出版社: 北京:北京邮电大学出版社

出版日期:2011.08

本书2025年2月28日可阅读或下载


本书内容包括安全协议基本原理介绍、安全性分析以及密码学基础;2、安全协议原理,内容包括安全协议概述、经典的密码交换及认证协议、电子商务协议以及应用中的安全协议;3、安全协议的分析与验证方法,内容包括BAN逻辑、BAN类逻辑、Kailar逻辑、CS逻辑、串空间理论及CSP方法等。

计算机网络-安全技术-通信协议

留言内容
发布留言


用户须知:

1.如果要找《安全协议原理与验证》,可以尝试去图书馆。

2.本页面文字和图片内容来自于http://m.5read.com/。

3.封皮图片地址:https://cover.duxiu.com/coverNew/CoverNew.dll?iid=6465626b686b6264656659a1a292aa94a798a5a094a59e3239383636323633

安全协议原理与验证.pdf

安全协议原理与验证.docx