An Extended UML Method for the Verification of Security Protocols | IEEE Conference Publication | IEEE Xplore