[IEEE E-Commerce (ISDPE 2010) - Buffalo, NY, USA (2010.09.13-2010.09.14)] 2010 Second International Symposium on Data, Privacy, and E-Commerce - Some Improvements on Model Checking CoreASM Models of Security Protocols
Zhao, Zhenju, Liu, Feng, Peng, Jianhua, Huang, Danqing, Xue, Rui, Zhang, ZhenfengYear:
2010
Language:
english
Pages:
6
DOI:
10.1109/ISDPE.2010.17
File:
PDF, 216 KB
english, 2010