About this scholarly article

2006 IEEE International Conference on Granular Computing - Formal automatic verification of security protocols by Meihua Xiao, ; Jinyun Xue, is a scholarly article available to read on EtoBox.

Author

Meihua Xiao, ; Jinyun Xue,

Publisher

IEEE

Published

2006

Language

EN