A Computationally Sound Mechanized Prover for Security Protocols | IEEE Journals & Magazine | IEEE Xplore