|
[SMAM21]
Khayyam Salehi, Ali A. Noroozi and Sepehr Amir-Mohammadian.
Quantifying Information Leakage of Probabilistic Programs Using the PRISM Model Checker.
In Proc. 15th International Conference on Emerging Security Information, Systems and Technologies (SECURWARE'21).
2021.
[Develops methods for quantifying information leakage built into an extension of PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|