协议组合逻辑相关论文
近年来随着无线通信技术发展突飞猛进，移动通信已成为最具发展活力的产业之一。而无线局域网(WLAN)和第三代移动通信网络(3G)作为提......
无线局域网（WirelessLAN）作为有线局域网的延伸和补充，其优势在于较高的接入速率、部署方便、成本较低，但缺陷在于其覆盖范围有限；第三......
目前,大量的安全协议已经被设计出来,如何验证这些协议是否满足声称的安全性是协议设计与分析的一个重要研究领域。为了验证和分析......
随着智能电网中智能终端和移动作业终端广泛应用和接入,电力系统中传输数据类别更为复杂,对数据安全要求更高。为满足以上需求,提......
扩展协议组合逻辑PCL,提出了建模移动Ad Hoc网络和分析路由协议安全性的符号模型PCL-RP模型.PCL-RP模型中,为模型化网络节点移动和......
