[Ald14b]
Alessandro Aldini.
A Calculus for Trust and Reputation Systems.
In Proc. IFIP Advances in Information and Communication Technology.
2014.
[Proposes a formal framework for modelling and verifying trust and reputation infrastructures, including the use of PRISM.]
|
