Krukow, K. An Operational Semantics for Trust Policies. BRICS 2005, 12.