[IEEE 2010 3rd International Conference on Advanced Computer Theory and Engineering (ICACTE 2010) - Chengdu, China (2010.08.20-2010.08.22)] 2010 3rd International Conference on Advanced Computer Theory and Engineering(ICACTE) - A formal model to verify authentication protocols with timeout strategy
Yuanyuan Yang, ; Wenping Ma, ; Yi Jiao, ; Weibo Liu,
- 作者Yuanyuan Yang, ; Wenping Ma, ; Yi Jiao, ; Weibo Liu,
- 文件大小223.38KB
- 发表时间2010
- DOI10.1109/icacte.2010.5579058