Casper: a compiler for the analysis of security protocols | IEEE Conference Publication | IEEE Xplore