A Logic of Trust for Reasoning about Delegation and Revocation.

Marcos Cramer, Diego Agustn Ambrossio, Pieter Van Hertum

Browse the full SACMAT paper archive.