大约有20,000项符合查询结果项。（搜索耗时：0.0154秒）
为您推荐： 网络协议的形式化分析与设计 列车运行安全行为建模与形式化技术研究 网络协议 分析 设计与仿真 安全协议与形式化方法国科大 维修性设计分析与验证 保证正版 网络安全协议 原理 结构与应用
-
网络与信息安全前沿技术丛书 安全协议设计与分析
张文政等编著2015 年出版202 页ISBN：9787118103397本书系统介绍了安全协议分析的理论方法，给出了安全协议目前的最新结果，如”安全协议工程原则”，”可证明安全协议分析方法”及”RFID安全分析技术”等，这些内容给出了目前可用于安全协议分析的国际前沿方法。本...
-
网络安全协议分析与案例实践
赖英旭，田果，刘静等编著2015 年出版132 页ISBN：9787302422686本书比较全面地介绍了网络安全协议的关键技术和相关实验配置。特别对vpn列举了比较深入的实际应用。使学生了解网络安全协议的基本知识，掌握网络安全协议的基本概念和应用方法。使学生在已有的网络知识的基...
-
国外食品安全化学分析方法验证指南
岳振峰主编2015 年出版465 页ISBN：9787506678582本书结合作者多年来在食品安全检测领域的实践经验，对国际组织、欧美日等发达国家以及区域组织等关于食品安全化学分析方法的验证和确认准则和指南文件进行了筛选和编译。全书共分两篇，包括食品安全分析方法（化...
-
国外食品安全生物学分析方法验证指南
岳振峰，梁均主编2015 年出版319 页ISBN：9787506678612本书结合作者多年来在食品安全检测领域的实践经验，对国际组织、欧美日等发达国家以及区域组织等关于食品安全生物学分析方法的验证和确认准则和指南文件进行了筛选和编译。全书共分三篇（约25万字），包括食品安全...
-
民用飞机安全性丛书 民用飞机安全性设计与验证技术
郭博智，王敏芹，阮宏泽主编2015 年出版274 页ISBN：9787516508275民机安全是民机事业的生命线。安全性设计是飞机设计中重要的一个环节。安全性工作对于飞机设计阶段、特别是飞机交付后的全寿命周期具有重要的意义。近几年，在国家大型客机发展战略的部署下，作为民机研制工作...
-
-
工程设计中的可靠性验证、试验与分析
（美）盖瑞S.沃瑟曼（GARYS.WASSERMAN）著；石健译2015 年出版283 页ISBN：9787111507840本书共分10章，包括当代视角的可靠性概念及可靠性设计，可靠性评估定义、次序统计入门，可靠性评价中的统计分布研究，参数估计技术概览，分布拟合检验，样例规模测定实验，加速寿命试验，设计验证的工程方法，似然估......
-
身份认证安全协议理论与应用
陈志德，黄欣沂，许力著2015 年出版260 页ISBN：9787121251245身份认证是防护网络信息的第一道关口。在网络中，要保证通信的可信和可靠，必须正确的识别通信双方的身份，防止非法用户假冒合法用户，给合法用户造成一些经济上的损失。身份认证分为用户与主机的认证和主机与主机...
-
信息安全仿真验证技术
王冬海，雷璟，马进胜，彭武著2015 年出版239 页ISBN：9787118106282本书介绍信息安全仿真、信息安全验证、信息安全测试、信息安全评估的基本概念；信息安全仿真验证的理论基础、技术基础和应用基础；信息安全仿真验证技术的国内外发展状况；信息安全仿真理论与方法、基于仿真的信...
-
车用安全通信 协议、安全及隐私
（意）卢卡·戴尔格罗斯（LucaDelgrossi），（美）张涛著；鲁光泉，田大新，王云鹏译2015 年出版374 页ISBN：9787568200929本书重点论述车辆安全通信协议，安全，隐私等前沿问题。全书共涉及22章节，研究领域主要是将人的因素集成到车载系统上来增强汽车的安全性。本书为增强驾驶员注意力以及防止道路事故提供了新的方法，使用传感器和无...