const int K; // Maximum probability that malicious recepient gains information <>Pmax=? [ F "gains_information" ] <>Pmax=? [ F "gains_information" ] // Maximum probability that malicious recepient gains information within time K <>Pmax=? [ F<=K "gains_information" ] <>Pmax=? [ F<=K "gains_information" ]