大约有469,181项符合查询结果项。（搜索耗时：0.5003秒）
为您推荐： 网络协议的形式化分析与设计 列车运行安全行为建模与形式化技术研究 网络协议 分析 设计与仿真 安全协议与形式化方法国科大 维修性设计分析与验证 保证正版 网络安全协议 原理 结构与应用
-
列车运行安全行为建模与形式化技术研究
陈永，胡晓辉著2017 年出版269 页ISBN：9787113225797随着我国铁路事业的快速发展，对列车运行控制系统安全性的研究已成为目前铁路运输系统的重要研究问题。形式化方法为设计高可信系统提供了重要途径。本书针对列车运行过程中安全关键因素，如无线通信网络性能、...
-
-
-
工程设计中的可靠性验证、试验与分析
（美）盖瑞S.沃瑟曼（GARYS.WASSERMAN）著；石健译2015 年出版283 页ISBN：9787111507840本书共分10章，包括当代视角的可靠性概念及可靠性设计，可靠性评估定义、次序统计入门，可靠性评价中的统计分布研究，参数估计技术概览，分布拟合检验，样例规模测定实验，加速寿命试验，设计验证的工程方法，似然估......
-
网络安全协议——原理、结构与应用
寇晓蕤，王清贤编2009 年出版369 页ISBN：9787040253801本书较为全面、深入地介绍了信息安全体系中的基础密码协议、高级密码协议及应用密码协议，按照由浅入深的原则，将全书分为13章，内容包括三大部分：基础密码协议、高级密码协议及应用密码协议。基础密码协议由引论...
-
电子商务核心技术 安全电子交易协议的理论与设计
梁晋等编著2000 年出版463 页ISBN：7560608949本书以SET协议为线索，分为七个部分：电子商务和支付介绍；网络安全和密码理论；SET系统设计综述；SET协议证书管理；SET支付系统；SET协议的外部接口指导；电子商务支付系统探讨。...
-
无线局域网安全接入：体系、结构与协议：英文版
马建峰等著2009 年出版431 页ISBN：9787040262100本书对无线局域网的安全体系结构理论与技术进行了比较全面的研究，内容包括WLAN安全体系结构框架、安全接入协议、快速切换安全协议、Mesh安全协议、认证密钥交换协议、WLAN匿名协议、自适应安全策略、性能评...
-
身份认证安全协议理论与应用
陈志德，黄欣沂，许力著2015 年出版260 页ISBN：9787121251245身份认证是防护网络信息的第一道关口。在网络中，要保证通信的可信和可靠，必须正确的识别通信双方的身份，防止非法用户假冒合法用户，给合法用户造成一些经济上的损失。身份认证分为用户与主机的认证和主机与主机...
-
LTE协议栈与信令分析
陈宇恒，肖竹，王洪编著2013 年出版204 页ISBN：9787115299475本书首先简明扼要地分析了LTE标准的制定进程及网络体系结构，然后分别针对核心网、接入网、RRC、切换、小区重选及系统广播等信令流程进行了详细介绍，针对LTE移动通信系统信令流程在相关工程方面的应用进行了...
-
密码协议 基于可信任新鲜性的安全性分析 英文版
董玲，陈克非著2011 年出版373 页ISBN：9787040313314本书主要讨论如何利用系统工程思想和可信任新鲜性的方法，分析和设计密码通信协议。基于可信任的新鲜性标识符概念，提出了一个新颖的新鲜性原则，该原则指出了一种有效的、易用的密码协议安全性分析方法。利用这...