www.prismmodelchecker.org
[AZP+21] Iffat Anjum, Mu Zhu, Isaac Polinsky, William Enck, Michael K. Reiter and Munindar P. Singh. Role-Based Deception in Enterprise Networks. In Proc. 11th ACM Conference on Data and Application Security and Privacy (CODASPY'21), pages 65–76. 2021. [Develops a technique for deceiving adversaries in enterprise networks, and evaluates its security using PRISM.]
Links: [Google] [Google Scholar]

Publications