密码协议分析的逻辑方法

密码协议分析的逻辑方法 pdf epub mobi txt 电子书下载 2025

简体网页||繁体网页

☆☆☆☆☆

雷新锋，薛锐著

图书标签:

密码学
协议分析
逻辑方法
形式化验证
安全协议
密码协议
逻辑推理
计算机安全
网络安全
形式化方法

下载链接在页面底部

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

想要找书就要到新城书站

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

出版社：科学出版社

ISBN：9787030370969

版次：01

商品编码：11213715

包装：平装

出版时间：2013-03-01

用纸：胶版纸

页数：400

正文语种：中文

具体描述

内容简介

　　《密码协议分析的逻辑方法》对密码协议分析的逻辑方法进行系统介绍。主要内容包括密码协议的概念以及密码协议分析的主要方法综述，密码协议逻辑分析方法的理论基础，各种密码协议逻辑。这些逻辑涵盖了当前比较重要的密码协议分析逻辑，介绍了基于逻辑的计算可靠性的分析方法.重点介绍了作者在密码协议分析的逻辑方面进行的工作。

前言/序言

用户评价

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

相关图书

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

© 2025 book.cndgn.com All Rights Reserved. 新城书站版权所有

中国国家图书馆

国立台湾图书馆

美国国会图书馆

开放图书馆 openlibrary.org