计算机工程与科学2010，Vol.32Issue(7)：38-41,4.DOI:10.3969/j.issn.1007-130X.2010.07.011
基于TLA的NS安全协议分析及检测
Analysis and Checking of the NS Security Protocol Based on the Temporal Logic of Action
黄贻望 1万良 2李祥1
作者信息
- 1. 贵州大学计算机软件与理论研究所,贵州,贵阳,550025
- 2. 铜仁学院数学与计算机科学系,贵州,铜仁,554300
- 折叠
摘要
关键词
安全协议/模型检测/TLA/TLA+/TLC分类
信息技术与安全科学引用本文复制引用
黄贻望,万良,李祥..基于TLA的NS安全协议分析及检测[J].计算机工程与科学,2010,32(7):38-41,4.
