A vector model of trust for developing trustworthy systems
A logic of authentication