Secure Information Flow Analysis Using the PRISM Model Checker.

Ali A. Noroozi Khayyam Salehi Jaber Karimpour Ayaz Isazadeh

Published in: ICISS (2019)

Keyphrases

flow analysis
model checking
temporal logic
information flow
dynamic programming
domain specific
formal methods
model checker