✦ LIBER ✦

A procedure for probabilistic protocol verification

✍ Scribed by Dimitrijevic, D.D.; Chen, M.-S.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

ECFSM-based probabilistic protocol verif

✍ Chung-Ming Huang; Jenq-Muh Hsu; Shiun-Wei Lee 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 737 KB

A UTP approach towards probabilistic pro

✍ Riccardo Bresciani; Andrew Butterfield 📂 Article 📅 2012 🏛 John Wiley and Sons 🌐 English ⚖ 183 KB

Using probabilistic Kleene algebra pKA f

✍ A.K. McIver; C. Gonzalia; E. Cohen; C.C. Morgan 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 950 KB

A Rewriting Strategy for Protocol Verifi

✍ Monica Nesi; Giuseppina Rucci; Massimo Verdesca 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 947 KB

An algorithmic technique for protocol ve

✍ Sabnani, K. 📂 Article 📅 1988 🏛 IEEE 🌐 English ⚖ 895 KB

A framework for compositional verificati

✍ Suzana Andova; Cas Cremers; Kristian Gjøsteen; Sjouke Mauw; Stig F. Mjølsnes; Sa 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 959 KB