Secure Information Flow Analysis Using the PRISM Model Checker.

Ali A. Noroozi, Khayyam Salehi, Jaber Karimpour, Ayaz Isazadeh

Browse the full ICISS paper archive.