虚拟企业分布式风险管理决策模型与算法

本书全面介绍了对国内外远程安全控制模型、设计及其实现技术，主要内容包含：远程控制协议的分类和模型，紧密相关的密码学技术，最新的典型的远程控制协议，基于符号模型和计算模型的自动化、手工方式分析与验证远程控制协议安全性。