[1]
K. Krukow, “An Operational Semantics for Trust Policies”., BRICS, vol. 12, no. 30, Sep. 2005.