The Simple Object Access Protocol (SOAP) facilitates interoperability among a wide range of programs and platforms, maki......

Andrew Secure RPC协议具有身份认证和秘钥交换功能,其因简洁明了而被广泛应用于对称密钥加密体系中。模型检测技术具有高度自动化......

逻辑方法和模型检验方法是安全协议的两种重要分析方法。逻辑方法简单、直观，但其最大问题是不够完备，模型检验方法自动化程度高且能......

在分析交通现状的基础上,设计了一套基于IP网络的视频调度系统.采用Microsoft提供的VFW技术获取摄像头视频信号,通过C/S模式通信模......

基于跨平台通信的需求,针对工业自动化软件逻辑组态平台的局限性并结合RPC协议原理,提出了一种就地风机控制系统的触摸屏HMI设计。......

首先介绍了当前安全协议形式化验证的前沿方向串空间理论,并运用串空间模型对改进后的Andrew secure RPC协议的机密性进行了形式化......

首先介绍了当前安全协议形式化验证的前沿方向串空间理论,并运用串空间模型对改进后的Andrew secure RPC协议进行了形式化分析与验......

基于项目跨平台通信的需求，针对现有通信方法的局限性并结合嵌入式系统的特点和远程过程调用原理，提出了一种基于远程过程调用的多平......