大约有464,621项符合查询结果项。（搜索耗时：0.8525秒）
为您推荐： 网络安全协议 原理 结构与应用 可证明安全算法与协议 网络协议的形式化分析与设计 工业互联网安全体系理论与方法 安全协议形式化分析与验证 列车运行安全行为建模与形式化技术研究
-
身份认证安全协议理论与应用
陈志德，黄欣沂，许力著2015 年出版260 页ISBN：9787121251245身份认证是防护网络信息的第一道关口。在网络中，要保证通信的可信和可靠，必须正确的识别通信双方的身份，防止非法用户假冒合法用户，给合法用户造成一些经济上的损失。身份认证分为用户与主机的认证和主机与主机...
-
安全协议实施自动化生成与验证
孟博，王德军著2016 年出版318 页ISBN：9787030508676本书共分五篇15章。系统地全面介绍了安全协议实施生成与验证的基本理论和关键技术及最新成果。主要内容包括安全协议协议规范形式化分析与验证技术、安全协议实施的生成与验证技术及其国内外发展现状、应用...
-
数学与现代科学技术丛书 可证明安全算法与协议
张华，温巧燕，金正平著2012 年出版522 页ISBN：9787030335401本书以作者及其课题组多年的研究成果为主体，结合国内外学者在可证明安全算法与协议方面的代表性成果，系统介绍了可证明安全性理论和技术，主要内容包括可证明安全理论的基本思想及相关的数学、密码学基础（第一部...
-
-
-
-
-
电子商务网络协议的形式化分析理论与应用
谢晓尧著2008 年出版146 页ISBN：7030200322本书叙述了与信息安全有密切联系的基于网络电子商务协议的形式化分析理论与实际应用。具体内容包括：电子商务协议的形式化逻辑分析方法、通用形式化Petri网模型分析方法、有穷自动机模型检测分析方法、安全...
-
网络安全协议 原理结构与应用 第2版
寇晓蕤，王清贤著2016 年出版396 页ISBN：9787040442052本书包括三个分支：存储安全、传输安全以及内容安全。本书关注传输安全，即利用网络安全协议保障信息安全。本书定义网络安全协议为基于密码学的通信协议。抛开底层密码学的细节，本书站在密码技术应用者的角度，讨...
-
中国能源安全战略挑战与政策分析 世界看中国
张秋明编2007 年出版322 页ISBN：9787116054202本书从五个方面收集整理了近年来一些主要国际机构和专家学者就我国的能源现状、政策、发展战略等进行的分析，供有关部门参考。