图书目录大全

 windowsfront.com logo

网络安全协议的形式化分析与验证 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

网络安全协议的形式化分析与验证
☆☆☆☆☆
简体网页||繁体网页
作者
译者
1970-1 出版日期
214 页数
27.00元 价格
丛书系列
9787111297260 图书编码

网络安全协议的形式化分析与验证 在线电子书 图书标签:  

喜欢 网络安全协议的形式化分析与验证 在线电子书 的读者还喜欢


下载链接在页面底部


点击这里下载
    
想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-11-27

linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 复制链接

网络安全协议的形式化分析与验证 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

网络安全协议的形式化分析与验证 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

网络安全协议的形式化分析与验证 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024


网络安全协议的形式化分析与验证 在线电子书 用户评价

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

网络安全协议的形式化分析与验证 在线电子书 著者简介

网络安全协议的形式化分析与验证 在线电子书 图书目录

网络安全协议的形式化分析与验证 在线电子书 pdf 下载 txt下载 epub 下载 mobi 在线电子书下载

网络安全协议的形式化分析与验证 在线电子书 图书描述

《网络安全协议的形式化分析与验证》概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议的形式化分析技术、形式化设计技术;最后重点介绍了目前的形式化分析技术对当前典型应用环境下复杂、实用网络安全协议的分析成果，包括IPSec协议、SSL协议、电子商务协议、移动通信安全协议及群组通信安全协议等。

信息安全是关系到国家安全和经济发展的重大战略问题，至关重要。安全协议作为实现信息安全的基础，其自身的安全性问题已成为安全研究的重要内容。目前，针对安全协议的安全性验证已形成了许多不同的流派、理论和方法。《网络安全协议的形式化分析与验证》理论与应用并重，深入浅出地介绍了各类形式化分析技术的基本原理及其在大型复杂安全协议分析中的实际应用。

《网络安全协议的形式化分析与验证》可作为信息安全专业高年级本科生教材，也可作为高等学校电子信息类、计算机类等相关专业的参考书。

网络安全协议的形式化分析与验证 在线电子书 下载 mobi epub pdf txt 在线电子书下载
想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

网络安全协议的形式化分析与验证 在线电子书 读后感

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

类似图书 点击查看全场最低价

网络安全协议的形式化分析与验证 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

分享链接

linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 复制链接


网络安全协议的形式化分析与验证 在线电子书 相关图书



服务条款
联系我们
关于我们
隐私政策

本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等

友情链接

中国国家图书馆
国立台湾图书馆
美国国会图书馆
开放图书馆 openlibrary.org

© 2024 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有