Formal verification of the Lowe modified BAN concrete Andrew Secure RPC protocol | IEEE Conference Publication | IEEE Xplore