返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
网络协议安全分析
共有
4
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：
网络协议安全分析
:李建新
作者：
李建新
出版社：
西安电子科技大学出版社
出版时间：
2024
ISBN：
978-7-5606-7154-3
索书号：
TN915.04/35
分类号：
TN915.04
页数：
184页
价格：
39.00
复本数：
在馆数：
累借天数：
累借次数：
本书包括12个项目, 介绍了TCP/IP参考模型、Wireshark网络协议分析软件、网络安全法律法规, 以及PPP、ARP、IP、ICMP、TCP、UDP、HTTP、HTTPS、FTP、DHCP等典型网络协议的运行原理、协议字段、潜在安全风险及防御措施。
详细信息
索书号
展开
网络及应用层协议安全分析
:赵倩红, 孙雨春
作者：
赵倩红, 孙雨春
出版社：
机械工业出版社
出版时间：
2021
ISBN：
978-7-111-67188-6
索书号：
TN915.04/37
分类号：
TN915.04
页数：
159页
价格：
35.00
复本数：
在馆数：
累借天数：
累借次数：
本书以培养学生的职业能力为核心, 以工作实践为主线, 以项目为导向, 采用任务驱动、场景教学的方式, 面向企业网络安全运维工程师岗位设置内容, 建立以实际工作过程为框架的职业教育课程结构。全书共有4个项目, 分别为网络协议分析、应用层协议分析、渗透测试案例分析、VPN安全。
详细信息
索书号
展开
安全协议设计与分析
:张文政, 王立斌, 李益发
作者：
张文政, 王立斌, 李益发
出版社：
国防工业出版社
出版时间：
2015
ISBN：
978-7-118-10339-7
索书号：
TP393.08/94
分类号：
TP393.08
页数：
202页
价格：
78.00
复本数：
在馆数：
累借天数：
累借次数：
本书系统介绍了安全协议分析的理论方法, 给出了安全协议目前的最新结果, 如”安全协议工程原则”, ”可证明安全协议分析方法”及”RFID安全分析技术”等, 这些内容给出了目前可用于安全协议分析的国际前沿方法。本书中选用的例子都是实际应用的安全协议, 有些是目前被广泛使用的安全协议, 有些是曾经使用的安全协议, 也有些协议是最新提出的安全协议。同时给出了安全协议设计的实用准则。
详细信息
索书号
展开
安全协议形式化分析与验证
:肖美华
作者：
肖美华
出版社：
科学出版社
出版时间：
2019
ISBN：
978-7-03-062633-2
索书号：
TP393.08/156
分类号：
TP393.08
页数：
160页
价格：
109.00
复本数：
在馆数：
累借天数：
累借次数：
本书内容主要包括以下部分: 安全协议形式化分析背景及研究现状。介绍了安全协议及形式化方法基本概念, 安全协议形式化分析研究发展历史和国内外研究现状。形式化方法基本理论。对模态逻辑、模型检测, 定理证明三类形式化方法进行了详细阐述和对比分析, 介绍了Murφ和Spin具有代表性的形式化分析工具。安全协议。介绍了安全协议的基本概念及分类, 从安全协议受攻击类型角度提出安全协议形式化分析的必要性。
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
4
)
出版社
国防工业出版社
(
1
)
机械工业出版社
(
1
)
科学出版社
(
1
)
西安电子科技大学出版社
(
1
)
只显示前10条......
国防工业出版社
(
1
)
机械工业出版社
(
1
)
科学出版社
(
1
)
西安电子科技大学出版社
(
1
)
查看更多信息......
作者
张文政, 王立斌, 李益发
(
1
)
李建新
(
1
)
肖美华
(
1
)
赵倩红, 孙雨春
(
1
)
只显示前10条......
张文政, 王立斌, 李益发
(
1
)
李建新
(
1
)
肖美华
(
1
)
赵倩红, 孙雨春
(
1
)
查看更多信息......
出版年
2015
(
1
)
2019
(
1
)
2021
(
1
)
2024
(
1
)
只显示前10条......
2015
(
1
)
2019
(
1
)
2021
(
1
)
2024
(
1
)
查看更多信息......
网络协议安全分析
共有
4
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：