扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
C Primer Plus 第6版 中文版
-
>
深度学习
-
>
MATLAB计算机视觉与深度学习实战-赠在线交流卡和本书源码
安全协议的建模与分析：CSP方式 版权信息
- ISBN：7111157214
- 条形码：9787111157212 ; 978-7-111-15721-2
- 装帧：简裝本
- 册数：暂无
- 重量：暂无
- 所属分类：>
安全协议的建模与分析：CSP方式 本书特色
本书主要介绍了安全协议的一种建模与分析方法：CSP（Communica-ting Sequential Processes，通信顺序进程）方法。本书共有11章和3个附录，主要内容包括：安全协议概述、CSP方法介绍、安全协议的CSP建模方法、协议目标描述、FDR概述、Casper介绍、为FDR进行协议和入侵者编码、分析结果的定理证明、协议的简化转换、其他的安全协议分析方法以及安全协议分析所存在的问题与发展趋势。附录包括：密码学背景知识、具体实例及第8章的详细证明过程。 本书可作为高等院校信息安全、计算机、通信等专业的教学参考书，也可供从事相关专业的教学、科研和工程技术人员参考。
安全协议的建模与分析：CSP方式 内容简介
本书主要介绍了安全协议的一种建模与分析方法：CSP（Communica-tingSequentialProcesses，通信顺序进程）方法。本书共有11章和3个附录，主要内容包括：安全协议概述、CSP方法介绍、安全协议的CSP建模方法、协议目标描述、FDR概述、Casper介绍、为FDR进行协议和入侵者编码、分析结果的定理证明、协议的简化转换、其他的安全协议分析方法以及安全协议分析所存在的问题与发展趋势。附录包括：密码学背景知识、具体实例及第8章的详细证明过程。
本书可作为高等院校信息安全、计算机、通信等专业的教学参考书，也可供从事相关专业的教学、科研和工程技术人员参考。
安全协议的建模与分析：CSP方式 目录
译者序
原书序
第0章绪论
0.1安全协议
0.2安全特性
0.3密码学
0.4分钥证书与基础设施
0.5加密模式
0.6密码学中的哈希函数
0.7数字签名
0.8安全协议的脆弱性
0.9CSP方法
0.10Casper:FDR的用户好界面
0.11形式化分析的局限
0.12小结
第1章CSP介绍
1.1基本模块
1.2并行运算符
1.3隐藏与重命名
1.4更多的运算符
1.5过程行为
1.6离散时间
第2章使用CSP对安全协议建模
2.1可信赖的过程
2.2协议模型的数据类型
2.3入侵者建模
2.4并归网络
第3章表达协议目的
3.1Yahalom协议
3.2保密性
3.3认证
3.4不可否认
3.5匿名
3.6小结
第4章FDR概述
4.1比例过程
4.2标淮转换系统
4.3开发成分结构
4.4反例
第5章Casper
5.1一个输入什么文件的例子
5.2符号
5.3实例研究:大嘴青蛙协议
5.4协议技术说明
5.5哈希函数与Vernam加密
5.6小结
……
第6章为FDR编码协议和入侵者
第7章定理证明
第8章简化转换
第9章其他方法
第10章发展趋势及更多的问题
附录A密码学背景知识
附录BYahalom协议的Casper表示
附录CCyberCash阶函数分析
参考文献
符号列表
专业词汇英语中对照表
原书序
第0章绪论
0.1安全协议
0.2安全特性
0.3密码学
0.4分钥证书与基础设施
0.5加密模式
0.6密码学中的哈希函数
0.7数字签名
0.8安全协议的脆弱性
0.9CSP方法
0.10Casper:FDR的用户好界面
0.11形式化分析的局限
0.12小结
第1章CSP介绍
1.1基本模块
1.2并行运算符
1.3隐藏与重命名
1.4更多的运算符
1.5过程行为
1.6离散时间
第2章使用CSP对安全协议建模
2.1可信赖的过程
2.2协议模型的数据类型
2.3入侵者建模
2.4并归网络
第3章表达协议目的
3.1Yahalom协议
3.2保密性
3.3认证
3.4不可否认
3.5匿名
3.6小结
第4章FDR概述
4.1比例过程
4.2标淮转换系统
4.3开发成分结构
4.4反例
第5章Casper
5.1一个输入什么文件的例子
5.2符号
5.3实例研究:大嘴青蛙协议
5.4协议技术说明
5.5哈希函数与Vernam加密
5.6小结
……
第6章为FDR编码协议和入侵者
第7章定理证明
第8章简化转换
第9章其他方法
第10章发展趋势及更多的问题
附录A密码学背景知识
附录BYahalom协议的Casper表示
附录CCyberCash阶函数分析
参考文献
符号列表
专业词汇英语中对照表
展开全部
书友推荐
- >
回忆爱玛侬
回忆爱玛侬
¥10.5¥32.8 - >
伯纳黛特,你要去哪(2021新版)
伯纳黛特,你要去哪(2021新版)
¥15.9¥49.8 - >
中国人在乌苏里边疆区:历史与人类学概述
中国人在乌苏里边疆区:历史与人类学概述
¥24.0¥48.0 - >
上帝之肋:男人的真实旅程
上帝之肋:男人的真实旅程
¥19.3¥35.0 - >
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
¥6.3¥14.0 - >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥40.6¥58.0 - >
诗经-先民的歌唱
诗经-先民的歌唱
¥15.1¥39.8 - >
名家带你读鲁迅:朝花夕拾
名家带你读鲁迅:朝花夕拾
¥10.5¥21.0
本类畅销
-
反电信网络诈骗全民指南
¥29.3¥59.8 -
黑客攻防从入门到精通-(攻防与脚本编程篇)
¥53.1¥69 -
2022图书×抽奖盲袋
¥9.9¥25 -
2023读书月阅读盲盒——天黑，闭眼，刀谁？
¥42.3¥158 -
-
2022读者节纪念徽章-三星会员专属
¥45¥45.6
