Belief and Trust in Fault Tolerance
We start by giving an overview of what we believe to be the tenets of fault
tolerance as they apply to security protocols. We then view the differences
that need to be taken into account when analysing belief in protocol
specification using a modification of the BAN logic as a vehicle for our
analysis. We conclude by looking briefly at a definition of trust used in the
literature and how this changes in our environment.