A framework for a cryptographic protocol evaluation workbench | IEEE Conference Publication | IEEE Xplore