Probabilistic Model Checking of Security Protocols without Perfect Cryptography Assumption
['Olga Siedlecka-Lamch', 'Mirosław Kurkowski', 'Jacek Piatkowski']
Probabilistic Model Checking of Security Protocols without Perfect Cryptography Assumption