On The Use Of The HOL System For Protocol Verification | IEEE Conference Publication | IEEE Xplore