External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Secure Information Flow Analysis Using the PRISM Model Checker

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]

Authors

Ali A. Noroozi

This author has not been identified. Look up 'Ali A. Noroozi' in Google

Khayyam Salehi

This author has not been identified. Look up 'Khayyam Salehi' in Google

Jaber Karimpour

This author has not been identified. Look up 'Jaber Karimpour' in Google

Ayaz Isazadeh

This author has not been identified. Look up 'Ayaz Isazadeh' in Google
runs on