✦ LIBER ✦

A computational interpretation of Dolev–Yao adversaries

✍ Scribed by Jonathan Herzog

Book ID: 108281048
Publisher: Elsevier Science
Year: 2005
Tongue: English
Weight: 308 KB
Volume: 340
Category: Article
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2005.03.003

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A structured operational semantic modell

A structured operational semantic modelling of the Dolev–Yao threat environment and its composition with cryptographic protocols

✍ Wenbo Mao 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 175 KB

A computational interpretation of truth

A computational interpretation of truth logic

✍ R. J. R. Back 📂 Article 📅 1986 🏛 Springer Netherlands 🌐 English ⚖ 882 KB

A Proof of Security of Yao’s Protocol fo

A Proof of Security of Yao’s Protocol for Two-Party Computation

✍ Yehuda Lindell; Benny Pinkas 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 450 KB

[IEEE 18th IEEE Computer Security Founda

[IEEE 18th IEEE Computer Security Foundations Workshop (CSFW'05) - Aix-en-Provence, France (20-22 June 2005)] 18th IEEE Computer Security Foundations Workshop (CSFW'05) - A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System

✍ Backes, M.; Durmuth, M. 📂 Article 📅 2005 🏛 IEEE ⚖ 291 KB

A computer program for computation and i

A computer program for computation and interpretation of pulmonary function data

✍ S.W. Rosner; A. Palmer; C.A. Caceres 📂 Article 📅 1971 🏛 Elsevier Science 🌐 English ⚖ 936 KB

A basis for computer interpretation of s

A basis for computer interpretation of serial electrocardiograms

✍ P.W. Macfarlane; H.T. Cawood; T.D.V. Lawrie 📂 Article 📅 1975 🏛 Elsevier Science 🌐 English ⚖ 796 KB

This paper describes a basis for the analysis of serial electrocardiograms by a small digital computer. Two ECG interpretations from a patient can be stored on a computer disc for recall when a subsequent ECG is presented for interpretation, thereby enabling a comparison to be made between up to thr