Ali A. Noroozi, Khayyam Salehi, Jaber Karimpour, Ayaz Isazadeh. Secure Information Flow Analysis Using the PRISM Model Checker. In Deepak Garg 0001, N. V. Narendra Kumar, Rudrapatna K. Shyamasundar, editors, Information Systems Security - 15th International Conference, ICISS 2019, Hyderabad, India, December 16-20, 2019, Proceedings. Volume 11952 of Lecture Notes in Computer Science, pages 154-172, Springer, 2019. [doi]
Abstract is missing.