www.prismmodelchecker.org
[Ald14] Alessandro Aldini. Saving Privacy in Trust-Based User-Centric Distributed Systems. In Proc. 8th International Conference on Emerging Security Information, Systems and Technologies (SECURWARE'14), pages 76-81. 2014. [Analyses privacy, cost and trust trade-offs in user-centric distributed systems using PRISM.]
Links: [Google] [Google Scholar]

Publications