An extensible platform for evaluating security protocols | IEEE Conference Publication | IEEE Xplore