Partial belief and probabilistic reasoning in the analysis of secure protocols | IEEE Conference Publication | IEEE Xplore