Geopriv协议形式化分析与模型检测 (2013年)

【文件属性】：

文件名称：Geopriv协议形式化分析与模型检测 (2013年)

文件大小：255KB

文件格式：PDF

更新时间：2024-07-03 15:00:12

工程技术 论文

在协议的形式化检测中，欧共体支助的基于TLA的大型项目AVISPA，其以HLPSL为描述语言，本文实现了基于TLA的Geopriv协议的形式化分析与检测，通过检测，发现Geopriv协议在一定条件下，是可以攻破的，并发现该协议的攻击，给出了攻击路径。