计算机应用与软件2009，Vol.26Issue(7)：129-132,4.
基于串空间模型的多协议猜测攻击验证分析
ANALYSIS AND VERIFICATION ON MULTI-PROTOCOL GUESSING ATTACKS BASED ON STRAND SPACE MODEL
摘要
关键词
多协议猜测攻击/串空间/程序化分析/形式化分析分类
信息技术与安全科学引用本文复制引用
周清雷,贾立伟,赵东明..基于串空间模型的多协议猜测攻击验证分析[J].计算机应用与软件,2009,26(7):129-132,4.基金项目
河南省教育厅基金(2006520015) （2006520015）
国家自然科学基金(68973040). （68973040）
