HLPSL相关论文
随着计算机和通信技术的发展,形成了以第三代(3G)通信移动技术、无线局域网(WLAN)以及全球微波互联接入(WiMAX)为代表的移动通信技......
文章运用模型检测技术,以Dolev-Yao模型为基础,使用HLPSL语言和模型检测工具AVISPA对快速切换认证协议FHAM进行了建模和安全检测,......
随着近年来网络协议的不安全性,对安全协议进行形式化分析与检测则显的非常重要。而基于行为时序逻辑TLA的模型检测是形式化分析检......
