发现好书期刊,享受阅读乐趣

海量图书期刊资源,随时随地畅享阅读乐趣

[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

[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
← 返回【学霸图书馆】主页