An Extended UML Method for the Verification of Security Protocols.

Gang Shen, Xiaohong Li, Ruitao Feng, Guangquan Xu, Jing Hu, Zhiyong Feng

Browse the full ICECCS paper archive.