大约有20,000项符合查询结果项。（搜索耗时：0.0243秒）
为您推荐： 网络安全协议 原理 结构与应用 可证明安全算法与协议 网络协议的形式化分析与设计 工业互联网安全体系理论与方法 安全协议形式化分析与验证 列车运行安全行为建模与形式化技术研究
-
-
网络协议与网络安全 第2版
凌力编著2012 年出版280 页ISBN：9787302289401本书介绍计算机硬件知识，包括计算机系统概论，计算机数据表示，运算方法和运算器，中央处理器，指令系统，存储器及存储系统，输入输出系统及新一代计算机的体系结构。...
-
自愿协议式环境管理方法与实践
刘海滨，张明顺，冯效毅著2012 年出版140 页ISBN：9787511107510本书主要介绍中国的环境、欧洲的环境管理与自愿式协议、自愿式协议实施的方法与步骤、自愿式协议环境管理在中国实施的前景以及推行自愿式环境管理的背景与条件。...
-
数学与现代科学技术丛书 可证明安全算法与协议
张华，温巧燕，金正平著2012 年出版522 页ISBN：9787030335401本书以作者及其课题组多年的研究成果为主体，结合国内外学者在可证明安全算法与协议方面的代表性成果，系统介绍了可证明安全性理论和技术，主要内容包括可证明安全理论的基本思想及相关的数学、密码学基础（第一部...
-
-
中国贸易救济与产业安全论丛 第七届中国贸易救济与产业安全研究奖获奖论文集 2012
顾春芳主编2012 年出版462 页ISBN：9787510308451本书是将“第七届中国贸易救济与产业安全研究奖征文活动”中的获奖论文集结成册。这些文章紧密结合后危机时代背景下国际经贸和我国产业安全的复杂形势，内容涵盖了贸易、产业、法律等多个研究领域，深刻探讨了...
-
密码协议 基于可信任新鲜性的安全性分析
董玲，陈克非著2012 年出版345 页ISBN：9787040362503本书主要讨论如何利用系统工程思想和可信任新鲜性的方法，分析和设计密码通信协议。基于可信任的新鲜性标识符概念，提出了一个新颖的新鲜性原则，该原则指出了一种有效的、易用的密码协议安全性分析方法。利用这...
-
-
系统安全保证 策略、方法与实践
（俄）曼索洛夫等著2012 年出版247 页ISBN：9787111388609本书面向负责计算机系统安全的分析师和架构师，介绍如何使用“对象管理集团”（OMG）的专业知识和独特的标准，以准确地了解现有的软件系统，并为系统安全撰写客观度量标准。OMG的“保证生态系统”(Assurance Ecosyst...
-
职业卫生与安全教育培训方法指南
李倩，刘寿堂主编2012 年出版68 页ISBN：9787562464914本书着眼于职业卫生与安全教育培训的实务，重点介绍了职业卫生与安全教育培训常用的教学方法、教学媒体、教学形式等范畴，也对国内外相关经验进行了评介。是直接服务于从事职业卫生与安全教育培训的主管部门、...