✦ LIBER ✦

Applications of Term Rewriting to Cryptographic Protocol Analysis (overview of the invited talk)

✍ Scribed by J. Millen

Book ID: 104445289
Publisher: Elsevier Science
Year: 2000
Tongue: English
Weight: 99 KB
Volume: 36
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80142-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Symbolic reachability analysis using nar

Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols

✍ José Meseguer; Prasanna Thati 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 536 KB

Symbolic Reachability Analysis Using Nar

Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols

✍ José Meseguer; Prasanna Thati 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 522 KB

Bisimulation-based Non-deterministic Adm

Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols

✍ Stéphane Lafrance; John Mullins 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 434 KB

Overview of the status and applications

Overview of the status and applications of capillary electrophoresis to the analysis of small molecules

✍ K.D Altria; David Elder 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 274 KB

Development of protocols for the applica

Development of protocols for the application of salivary steroid analysis to field conditions

✍ S. F. Lipson; P. T. Ellison 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 598 KB

The simple and noninvasive nature of sample collection for salivary steroid assay makes this technique well suited for anthropological field studies of human reproduction function. In this study, a series of controlled experiments was done to investigate the effects of modifying common clinical samp

The direct reaction field hamiltonian: A

The direct reaction field hamiltonian: Analysis of the dispersion term and application to the water dimer

✍ B.T. Thole; P.Th. Van Duijnen 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 899 KB