|
|||||
|
|
| 基于行为时序逻辑的安全协议研究 | |
| 作者姓名： | 黄佳 |
| 作者单位： | 贵州交通职业技术学院,贵州贵阳,550008 |
| 摘 要： | 随着计算机网络的不断发展,全球信息化已经成为社会发展的必然趋势.在网络的应用和服务中,信息安全是至关重要的环节.而安全协议是保障信息安全最基本内容之一,已广泛应用在计算机通信网和分布系统中.这样,高效准确的安全协议的研究是必不可少的.本文主要采用基于行为时序逻辑TLA的HLPSL语言形式化分析与检测Geopriv协议. |
| 关 键 词： | 行为时序逻辑 Geopriv协议 AVISPA |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |