-
题名Geopriv协议形式化分析与模型检测
- 1
-
-
作者
谢琳
-
机构
贵州广播电视大学
贵州职业技术学院信息系
-
出处
《计算机光盘软件与应用》
2013年第17期77-78,共2页
-
文摘
在协议的形式化检测中,欧共体支助的基于TLA的大型项目AVISPA,其以HLPSL为描述语言,本文实现了基于TLA的Geopriv协议的形式化分析与检测,通过检测,发现Geopriv协议在一定条件下,是可以攻破的,并发现该协议的攻击,给出了攻击路径。
-
关键词
geopriv协议
形式化分析
模型检测
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名基于行为时序逻辑的安全协议研究
被引量:1
- 2
-
-
作者
黄佳
-
机构
贵州交通职业技术学院
-
出处
《信息通信》
2012年第4期22-23,共2页
-
文摘
随着计算机网络的不断发展,全球信息化已经成为社会发展的必然趋势。在网络的应用和服务中,信息安全是至关重要的环节。而安全协议是保障信息安全最基本内容之一,已广泛应用在计算机通信网和分布系统中。这样,高效准确的安全协议的研究是必不可少的。本文主要采用基于行为时序逻辑TLA的HLPSL语言形式化分析与检测Geopriv协议。
-
关键词
行为时序逻辑
geopriv协议
AVISPA
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-