✦ LIBER ✦

Use of a formal description technique in the specification of authentication protocols

✍ Scribed by Vijay Varadharajan

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal description techniques: Communica

✍ G T'Hooft 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 619 KB

Methodical use of cryptographic transfor

✍ Mao, W.; Boyd, C. 📂 Article 📅 1995 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 668 KB

Formal techniques for the specification,

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

The DUAL-EVAL Hardware Description Langu

✍ Bishop C. Brock; Warren A. Hunt 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 283 KB

Measuring the maintainability of a commu

✍ Sun-Jen Huang; Lai, R. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 715 KB

Experience in the Use of a Formalized Pr

✍ L. V. Evfim'evskii; M. I. Zelikman; P. V. Sadikov 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 567 KB