Գրեք սա: Calculating information leakage using model checking tools / by Jia Chen.