计算机工程2009，Vol.35Issue(13)：156-159,4.
基于面向对象时间Petri网的密码协议分析
Analysis of Cryptographic Protocol Based on Object Oriented Timed Petri Nets
摘要
关键词
面向对象时间Petri网/密码协议/TMN协议/抑制弧分类
信息技术与安全科学引用本文复制引用
刘雪艳,吴慧欣,张强,王彩芬..基于面向对象时间Petri网的密码协议分析[J].计算机工程,2009,35(13):156-159,4.基金项目
国家自然科学基金资助项目(10702065) （10702065）
陕西省自然科学基金资助项目(2005F45) （2005F45）
西北师大数信学院青年教师基金资助项目 （）
