✦ LIBER ✦

Using probabilistic Kleene algebra pKA for protocol verification

✍ Scribed by A.K. McIver; C. Gonzalia; E. Cohen; C.C. Morgan

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A procedure for probabilistic protocol v

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

Using Computer Algebra techniques for th

✍ Nikolaj Popov; Tudor Jebelean 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 130 KB

The verification of Killing tensor compo

✍ G. C. Joly 📂 Article 📅 1987 🏛 Springer US 🌐 English ⚖ 195 KB