An algorithmic technique for protocol verification | IEEE Journals & Magazine | IEEE Xplore