✦ LIBER ✦

Improved bounds for asymmetric communication protocols

✍ Scribed by Eduardo Sany Laber; Leonardo Gomes Holanda

Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 75 KB
Volume: 83
Category: Article
ISSN: 0020-0190
DOI: 10.1016/s0020-0190(01)00332-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Protocols for Asymmetric Communication C

Protocols for Asymmetric Communication Channels

✍ Micah Adler; Bruce M. Maggs 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 190 KB

On asymmetric communication protocols

✍ Eduardo Sany Laber; Leonardo Gomes Holanda 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 254 KB

Synchronous communication protocols for

Synchronous communication protocols for local networks

✍ Oliver C. Ibe; David T. Gibson 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 619 KB

Communication protocols for integrated o

Communication protocols for integrated office systems

✍ Najah Naffah 📂 Article 📅 1981 🏛 Elsevier Science ⚖ 804 KB

Typing correspondence assertions for com

Typing correspondence assertions for communication protocols

✍ Andrew D Gordon; Alan Jeffrey 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 329 KB

Woo and Lam propose correspondence assertions for specifying authenticity properties of security protocols. Prior work on checking correspondence assertions depends on model-checking and is limited to ÿnite-state systems. We propose a dependent type and e ect system for checking correspondence asser

Typing Correspondence Assertions for Com

Typing Correspondence Assertions for Communication Protocols

✍ Andrew D. Gordon; Alan Jeffrey 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 207 KB