计算机工程与应用2006，Vol.42Issue(23)：106-108,3.
基于有色Petri网的一种密码协议的描述和分析
Specification and Analysis of a Cryptographic Protocol Based on Coloured Petri Nets
摘要
关键词
有色Petri网/密码协议/描述和分析分类
信息技术与安全科学引用本文复制引用
罗志宏,王常吉,朱思铭..基于有色Petri网的一种密码协议的描述和分析[J].计算机工程与应用,2006,42(23):106-108,3.基金项目
国家自然科学基金资助项目(编号:60503005) （编号:60503005）
