计算机工程2007，Vol.33Issue(21)：147-148,151,3.
安全协议的关联性研究
Research on Correlation Property of Security Protocol
摘要
关键词
安全协议/关联性/形式化分析分类
信息技术与安全科学引用本文复制引用
胡声洲,余敏,彭文灵..安全协议的关联性研究[J].计算机工程,2007,33(21):147-148,151,3.基金项目
2006年江西省工业科技攻关基金资助项目 "信息安全中安全协议的相关性研究"(2006 1H0101800) （2006 1H0101800）
