Partial Belief and Probabilistic Reasoning in the Analysis of Secure Protocols. - E. A. Campbell; Reihaneh Safavi-Naini; P. A. Pleasants (CSFW, 1992)