一种时间相关的分析安全协议的扩展逻辑
赵华伟;李大兴;秦 静
Time-dependent extension logic of secure protocols
ZHAO Hua-wei,LI Da-xing,QIN Jing
计算机应用 . 2005, (10): 2272 -2275 .