www.prismmodelchecker.org
[MC23] Chunyan Mu and David Clark. Verifying Opacity Properties in Security Systems. IEEE Transactions on Dependable and Secure Computing , 20. 2023. [Proposes an opacity based security verification framework, implemented as an extension of PRISM.]
Links: [Google] [Google Scholar]

Publications