Comments, with reply, on "On the projection method for protocol verification" by T.-Y. Cheung | IEEE Journals & Magazine | IEEE Xplore