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]
@inproceedings{NorooziSKI19,
title = {Secure Information Flow Analysis Using the PRISM Model Checker},
author = {Ali A. Noroozi and Khayyam Salehi and Jaber Karimpour and Ayaz Isazadeh},
year = {2019},
doi = {10.1007/978-3-030-36945-3_9},
url = {https://doi.org/10.1007/978-3-030-36945-3_9},
researchr = {https://researchr.org/publication/NorooziSKI19},
cites = {0},
citedby = {0},
pages = {154-172},
booktitle = {Information Systems Security - 15th International Conference, ICISS 2019, Hyderabad, India, December 16-20, 2019, Proceedings},
editor = {Deepak Garg 0001 and N. V. Narendra Kumar and Rudrapatna K. Shyamasundar},
volume = {11952},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-36945-3},
}