✦ LIBER ✦

An algorithmic technique for protocol verification

✍ Scribed by Sabnani, K.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Survey of protocol definition and verifi

✍ Carl A. Sunshine 📂 Article 📅 1978 🏛 Elsevier Science ⚖ 374 KB

Can current protocol verification techni

✍ Yechiam Yemini; James F Kurose 📂 Article 📅 1982 🏛 Elsevier Science ⚖ 419 KB

An algorithmic technique for diagnosis o

✍ Ruifeng Guo; Venkataraman, S. 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 285 KB

Formal techniques for the specification,

✍ Tat Choi 📂 Article 📅 1985 🏛 IEEE 🌐 English ⚖ 643 KB

A Rewriting Strategy for Protocol Verifi

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

A procedure for probabilistic protocol v

✍ Dimitrijevic, D.D.; Chen, M.-S. 📂 Article 📅 1992 🏛 IEEE 🌐 English ⚖ 910 KB