台湾地区与大陆地区人民关系条例暨两岸历次协议 含香港澳门关系条例

管弦乐队指南 为青年而作 浦塞尔主题变奏与赋格曲 管弦乐部谱 作品34

Patterns of Rogerian Knowing (National League for Nursing Series (All Nln Titles)

安全协议操作语义与验证

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

宏观调控与经济曾展 “广场协议”前后日本和的国的比较研究

高等计算机网络 体系结构、协议机制、算法设计与路由器技术

本书介绍了计算机网络知识。

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

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

州际合作 协定与行政协议

本书为上海交通大学211工程“区域法治丛书”的收尾作品。书稿讨论正式和非正式州际行政合作问题。因为由美国宪法所确立的各州之间的经济联盟与政治联盟，很大程度上依赖于兄弟州之间的团结协作来解决重大的...

RFID安全协议分析与设计

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

造园八讲

本书内容包括设计的基础原则、总体布局、叠山、理水、花木等。