www.prismmodelchecker.org
[MS09] J. Misra and I. Saha. A Reinforcement Model for Collaborative Security and Its Formal Analysis. In Proc. New Security Paradigms Workshop (NSPW'09). 2009. [bib] [Proposes a reinforcement framework for collaborative monitoring of security violations and anlayses it using PRISM.]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications