Skip to main content

Formal Trust Model

Definition

A formal trust model defines the specific assumptions about which participants in a system can be relied upon and to what extent. It mathematically or logically articulates the distribution of power, the behavior of actors, and the conditions under which security and liveness properties hold. This model forms the theoretical basis for assessing a system’s reliability.