安全性设计分析与验证

本书介绍了安全性分析、安全性度量与要求、安全性设计、软件安全性设计与分析和安全性验证等。并附有国内外相关标准以便查询。

安全性设计分析与验证=safety design analysis and verification

安全性设计分析与验证=safety design analysis and verification

安全协议的建模与分析：CSP方式

本书介绍了安全协议的一种建模与分析方法。

安全协议分析与设计

本书系统地介绍了安全协议（主要是认证协议和密钥建立协议）的基本概念、攻击方法、分析方法和设计方法。本书可作为信息安全、数学、计算机、通信专业的研究生和本科生教材，也可作为相关专业的研究人员和工程技...

电子商务交易协议理论与验证方法

本书系统论述了电子商务系统及底层技术、个性化推荐技术、电子商务支付协议及电子现金支付协议的模型等进行了论述，阐述了电子商务交易协议的分析验证方法。...

网络与信息安全前沿技术丛书 安全协议设计与分析

本书系统介绍了安全协议分析的理论方法，给出了安全协议目前的最新结果，如”安全协议工程原则”，”可证明安全协议分析方法”及”RFID安全分析技术”等，这些内容给出了目前可用于安全协议分析的国际前沿方法。本...

网络安全协议分析与案例实践

本书比较全面地介绍了网络安全协议的关键技术和相关实验配置。特别对vpn列举了比较深入的实际应用。使学生了解网络安全协议的基本知识，掌握网络安全协议的基本概念和应用方法。使学生在已有的网络知识的基...

RFID安全协议分析与设计

本书首先分别对物联网和RFID系统进行了概述，指出了RFID系统存在的安全性问题及主要解决办法。然后，介绍了进行RFID安全协议分析与设计所需要的基础知识。最后，分别对RFID认证协议、RFID标签所有权转移协议、RF...

国外食品安全化学分析方法验证指南

本书结合作者多年来在食品安全检测领域的实践经验，对国际组织、欧美日等发达国家以及区域组织等关于食品安全化学分析方法的验证和确认准则和指南文件进行了筛选和编译。全书共分两篇，包括食品安全分析方法（化...