Logics to Reason Formally About Trust Computation and Manipulation.

Alessandro Aldini, Mirko Tagliaferri

Browse the full ESORICS paper archive.