计算机工程2008，Vol.34Issue(13)：149-151,3.
基于状态转移系统的安全协议形式模型
Formal Model for Security Protocols Based on State Transition System
摘要
关键词
安全协议/形式模型/状态转移系统/重写关系/Dolev-Yao攻击者模型分类
信息技术与安全科学引用本文复制引用
毛中全,刘楠,顾纯祥,祝跃飞..基于状态转移系统的安全协议形式模型[J].计算机工程,2008,34(13):149-151,3.基金项目
国家自然科学基金资助项目(60473021) （60473021）
