An interface specification language for automatically analyzing cryptographic protocols | IEEE Conference Publication | IEEE Xplore