大约有20,000项符合查询结果项。（搜索耗时：0.0171秒）
为您推荐： 网络协议的形式化分析与设计 列车运行安全行为建模与形式化技术研究 网络协议 分析 设计与仿真 安全协议与形式化方法国科大 维修性设计分析与验证 保证正版 网络安全协议 原理 结构与应用
-
-
安全性设计分析与验证
康锐著2011 年出版357 页ISBN：9787118072884本书介绍了安全性分析、安全性度量与要求、安全性设计、软件安全性设计与分析和安全性验证等。并附有国内外相关标准以便查询。
-
-
面向对象软件的形式验证技术
文志诚著2011 年出版172 页ISBN：9787811186482本书收录了2007年上海大学博士学位论文57篇，通过公开出版，使论文作为公共知识，转化成社会财富。产生社会影响。
-
测试性设计分析与验证
石君友主编2011 年出版341 页ISBN：9787118072877本书系统介绍了装备的测试性设计与验证的理论、技术，既有理论方法介绍，又有应用实例，为装备的维修性设计与验证提供了技术指导。
-
安全协议 理论与实践
冯登国著2011 年出版520 页ISBN：9787302232902本书共分16章，系统地介绍安全协议的基本理论、关键技术以及典型应用和实践。主要包括密码算法基础知识、可证明安全性、形式化、混合、零知识证明、安全多方计算等基础理论和方法。...
-
网络安全基础 网络攻防、协议与安全
（美）雅各布森著2011 年出版294 页ISBN：9787121129742本书从网络攻防、协议与安全解决方案的角度阐述网络安全，把网络看成安全与不安全的源头。全书共分为四部分，第一部分讨论网络概念与威胁的入门知识，分别介绍了网络体系结构、网络协议、互联网和网络漏洞的分类...
-
密码协议 基于可信任新鲜性的安全性分析 英文版
董玲，陈克非著2011 年出版373 页ISBN：9787040313314本书主要讨论如何利用系统工程思想和可信任新鲜性的方法，分析和设计密码通信协议。基于可信任的新鲜性标识符概念，提出了一个新颖的新鲜性原则，该原则指出了一种有效的、易用的密码协议安全性分析方法。利用这...
-
有证参考物质认定值与实验室能力验证结果的符合性评价 国际钢铁工业分析委员会研究报告
王海舟主编2011 年出版371 页ISBN：9787506662444本书分为中文版和英文版两个部分。中文版包括ICASI CRM/PT0001-2010、ICASI CRM/PT 0002-2010、ICASI CRM/PT 0003-2010等三个研究报告的公告及报告内容；英文版为相对应的英文内容。...
-
