✦ LIBER ✦

On the Verification of Cryptographic Protocols: A Tale of Two Committees

✍ Scribed by Dieter Gollmann

Publisher: Elsevier Science
Year: 2000
Tongue: English
Weight: 660 KB
Volume: 32
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00094-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Practice of Cryptographic Protocol V

The Practice of Cryptographic Protocol Verification

✍ Michael Rusinowitch 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 119 KB

We present CASRUL, a compiler for cryptographic protocols specifications. Its purpose is to verify the executability of protocols and to translate them into rewrite rules that can be used by several kinds of automatic or semi-automatic tools for finding design flaws. We also present a related comple

Decisionmaking and the incompetent patie

Decisionmaking and the incompetent patient: A tale of two committees

✍ Edward E. Waldron 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 925 KB

Wizards on a Rampage: A Tale of Two Realms

✍ Walsh, Lee 📂 Fiction 📅 2018 🏛 Goblin City 🌐 English ⚖ 135 KB

The Black Arrow a Tale of Two Roses

✍ Robert Louis Stevenson 📂 Fiction 📅 2005 🏛 Kessinger Publishing 🌐 English ⚖ 147 KB 👁 3 views

1921. From the writer of Treasure Island, Kidnapped, and Dr. Jekyll and Mr. Hyde, comes another tale of adventure. This book involves a young Englishman, Dick Shelton, who, in his quest to avenge the death of his father, becomes involved in the band of the Black Arrow and the events of the War of th

The black arrow: a tale of the two roses

✍ Robert Louis Stevenson 📂 Fiction 📅 2010 🏛 The Floating Press 🌐 UND ⚖ 162 KB 👁 3 views

Print version:;Title; Contents; Critic on the Hearth; Prologue -- John Amend-All; BOOK I -- THE TWO LADS; Chapter I -- At the Sign of the Sun in Kettley; Chapter II -- In the Fen; Chapter III -- The Fen Ferry; Chapter IV -- A Greenwood Company; Chapter V -- "Bloody as the Hunter"; Chapter VI -- To t

A Tale of Two Cities A Story of the Fren

A Tale of Two Cities A Story of the French Revolution

✍ Charles Dickens 📂 Fiction 📅 2011;2012 🏛 Cherry Hill Publishing 🌐 en-US ⚖ 289 KB 👁 3 views

Charles Dickens takes us to the year 1775, where England and France are undergoing a period of social upheaval and turmoil. The forces that are leading to revolution in France are colliding with a circle of people in England, causing their destinies to be irrevocably intertwined.