[IEEE 2010 Sixth International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP) - Darmstadt, Germany (2010.10.15-2010.10.17)] 2010 Sixth International Conference on Intelligent Information Hiding and Multimedia Signal Processing - ASM-SPV: A Model Checker for Security Protocols
Peng, Jianhua, Liu, Feng, Zhao, Zhenju, Huang, Danqing, Xue, RuiYear:
2010
Language:
english
DOI:
10.1109/iihmsp.2010.117
File:
PDF, 172 KB
english, 2010