Trust lies at the very foundations of computer and information security, and is the basis for real-world schemes that require security properties, such as those that underlie consumer banking. Under this research project, we will investigate models for delegation of trust that meet desirable properties, for example, that guarantee that no security compromises occur unless certain trust assumptions are violated.