Effective automatic generation of security protocol’s verification model
WU Chang 1，XIAO Mei-hua 1，LUO Min 2，LIU Qiao-wei 1，XIONG Hao 1
Computer Engineering and Applications . 2010, (2): 79 -82 .  DOI: 10.3778/j.issn.1002-8331.2010.02.025

京ICP备13024262号-1
Copyright © Computer Engineering and Applications
Powered by Beijing Magtech Co., Ltd.
Total visitors:
Visitors of today:
Now online: