基于行为时序逻辑的安全协议研究

• 作者: 黄佳
• 来源期刊: 信息通信
• 学科: 工学
• 关键词: 行为时序逻辑 Geopriv协议 AVISPA
• 年，卷（期）: 2012,（4）
• 所属期刊栏目: 学术研究
• 页码范围: 22-23
• 页数: 2页
• 分类号: TP309
• 字数: 2057字
• 语种: 中文

摘要

随着计算机网络的不断发展,全球信息化已经成为社会发展的必然趋势.在网络的应用和服务中,信息安全是至关重要的环节.而安全协议是保障信息安全最基本内容之一,已广泛应用在计算机通信网和分布系统中.这样,高效准确的安全协议的研究是必不可少的.本文主要采用基于行为时序逻辑TLA的HLPSL语言形式化分析与检测Geopriv协议.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄佳		4	5	1.0	2.0