Extending BAN Logic for Reasoning with Modern PKI-Based Protocols | IEEE Conference Publication | IEEE Xplore