Evaluating and improving protocol analysis by automatic proof | IEEE Conference Publication | IEEE Xplore