计算机工程与科学2010，Vol.32Issue(8)：36-38,45,4.DOI:10.3969/j.issn.1007-130X.2010.08.010
Dolev-Yao攻击者模型的形式化描述
The Formalization Description of the Dolev-Yao Intruder Model
唐郑熠 1李祥1
作者信息
- 1. 贵州大学计算机软件与理论研究所,贵州,贵阳,550025
- 折叠
摘要
关键词
Dolev-Yao攻击者模型/形式化描述/模型检测/SPIN/NSPK/A(0)分类
信息技术与安全科学引用本文复制引用
唐郑熠,李祥..Dolev-Yao攻击者模型的形式化描述[J].计算机工程与科学,2010,32(8):36-38,45,4.
