Belief and Trust in Fault Tolerance

Geraint Price
Royal Holloway

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.