[IEEE 2010 IEEE International Conference on Wireless Communications, Networking and Information Security (WCNIS) - Beijing, China (2010.06.25-2010.06.27)] 2010 IEEE International Conference on Wireless Communications, Networking and Information Security - A new model of formal design system of security authentication protocol
Wang Hui-bin,Year:
2010
Language:
english
DOI:
10.1109/wcins.2010.5541839
File:
PDF, 349 KB
english, 2010