计算机工程2007，Vol.33Issue(13)：1-3,39,4.
检测模型在安全协议分析中的应用
Application of Checking Model in Security Protocol Analysis
摘要
关键词
检测模型/认证测试/Neuman-Stubblebine协议/类型攻击分类
信息技术与安全科学引用本文复制引用
李谢华,杨树堂,李建华,诸鸿文..检测模型在安全协议分析中的应用[J].计算机工程,2007,33(13):1-3,39,4.基金项目
国家"863"计划基金资助项目(2002AA145090,2005AA145110) （2002AA145090,2005AA145110）
