大约有10,000项符合查询结果项。（搜索耗时：0.0180秒）
为您推荐： 网络协议的形式化分析与设计 列车运行安全行为建模与形式化技术研究 网络协议 分析 设计与仿真 安全协议与形式化方法国科大 维修性设计分析与验证 保证正版 网络安全协议 原理 结构与应用
-
安全协议操作语义与验证
（瑞士）卡斯·克雷默斯，（卢森堡）肖克·毛弗2018 年出版137 页ISBN：9787121351952安全协议作为信息安全的重要基础之一，其安全属性是否能达到设计者的初始目标成为一个重要研究内容，关系到依赖于协议的上层应用系统的安全性。本书的内容主要涵盖以下两个部分：用形式化的语义定义协议的执行规...
-
RFID安全协议分析与设计
原变青著2018 年出版154 页ISBN：9787518947300本书首先分别对物联网和RFID系统进行了概述，指出了RFID系统存在的安全性问题及主要解决办法。然后，介绍了进行RFID安全协议分析与设计所需要的基础知识。最后，分别对RFID认证协议、RFID标签所有权转移协议、RF...
-
-
热分析应用手册 热分析验证
（瑞士）马库斯·舒伯内尔（MARKUSSCHUBNELL）著；唐远旺译2018 年出版324 页ISBN：9787566914330本书是热分析应用手册系列书之一，理论与实践结合的非常好，对分析实验的实际操作起着指导作用。本书的第一部分从总体上阐述了计算系统的验证，第二部分阐述了方法开发和验证的议题。本书适合于对验证理论及法规...
-
软件安全开发指南 应用软件安全级别验证参考标准
（美）OWASP基金会著2018 年出版129 页ISBN：9787121338496本书系统性地介绍了OWASP安全组织研究总结的应用安全验证标准，为软件开发过程中的安全控制措施开发提供直接指导与必要参考。全书分为两大部分：第一部分介绍了应用安全验证要求的使用方法和参考案例。第二部...
-
装备测试性设计分析验证技术
王红霞，叶晓慧，陈冰，陈亚男编著2018 年出版244 页ISBN：9787121337864介绍了测试性的基本概念，详细阐述了测试性工作通用要求和实施方法，以及测试性设计分析验证中关键技术。包含已有的测试性设计、分析验证中的常用方法和规则，以及在实际装备综合诊断中，针对装备保障中存在的测试...
-
基于安全协议的云计算平台数据安全及隐私保护研究
陈建辉著2018 年出版186 页ISBN：9787564765415安全协议作为互联网安全运行的重要基础协议，可以实现网络实体之间的认证、在实体之间安全地分配密钥或其它各种秘密、确认发送和接收的消息的非否认性等。将安全协议应用于云计算平台中，还可以对现有的云计算...
-
-
网络协议分析 第2版
寇晓蕤，蔡延荣，张连成编著2018 年出版324 页ISBN：9787111576143本书以TCP/IP协议族中构建Internet所必需的、与我们交互最直观的协议作为主题，详细讨论了TCP/IP的体系结构和基本概念。书中涉及的主要协议包括PPP、ARP、RARP、IP、ICMP、UDP、TCP、NAT、RIP、OSPF、BGP、I...
-
