电子商务网络协议的形式化分析理论与应用

安全协议操作语义与验证

安全协议作为信息安全的重要基础之一，其安全属性是否能达到设计者的初始目标成为一个重要研究内容，关系到依赖于协议的上层应用系统的安全性。本书的内容主要涵盖以下两个部分：用形式化的语义定义协议的执行规...

RFID安全协议分析与设计

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

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

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

自愿协议式环境管理方法与实践

本书主要介绍中国的环境、欧洲的环境管理与自愿式协议、自愿式协议实施的方法与步骤、自愿式协议环境管理在中国实施的前景以及推行自愿式环境管理的背景与条件。...

网络安全协议——原理、结构与应用

本书较为全面、深入地介绍了信息安全体系中的基础密码协议、高级密码协议及应用密码协议，按照由浅入深的原则，将全书分为13章，内容包括三大部分：基础密码协议、高级密码协议及应用密码协议。基础密码协议由引论...

电子商务核心技术 安全电子交易协议的理论与设计

本书以SET协议为线索，分为七个部分：电子商务和支付介绍；网络安全和密码理论；SET系统设计综述；SET协议证书管理；SET支付系统；SET协议的外部接口指导；电子商务支付系统探讨。...

无线局域网安全接入：体系、结构与协议：英文版

本书对无线局域网的安全体系结构理论与技术进行了比较全面的研究，内容包括WLAN安全体系结构框架、安全接入协议、快速切换安全协议、Mesh安全协议、认证密钥交换协议、WLAN匿名协议、自适应安全策略、性能评...

内部评级理论、方法与实务 巴塞尔新资本协议核心技术

本书对巴塞尔新资本协议核心技术和内部评级法进行了全面介绍。

网络协议的形式化分析与设计

本书就网络协议分析与设计中的形式化方法与技术展开讨论和介绍，主要内容包括：网络协议及开发概论；网络协议的形式化模型；网络协议的形式描述语言；网络协议的形式化验证；网络协议的形式化综合；网络协议的测试；......