Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols | IEEE Conference Publication | IEEE Xplore