✦ LIBER ✦

Information based reasoning about security protocols

✍ Scribed by R. Ramanujam; S.P. Suresh

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 375 KB
Volume: 55
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00246-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Invariant-based reasoning about paramete

Invariant-based reasoning about parameterized security protocols

✍ Arjan J. Mooij 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 228 KB

Reasoning about data and information

✍ Patrick Allo 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 249 KB

Ockham’s razor and reasoning about infor

Ockham’s razor and reasoning about information flow

✍ Mehrnoosh Sadrzadeh 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 214 KB

Compositional refinement in agent-based

Compositional refinement in agent-based security protocols

✍ A. K. McIver; C. C. Morgan 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 815 KB

Model-based reasoning about learner beha

Model-based reasoning about learner behaviour

✍ Kees de Koning; Bert Bredeweg; Joost Breuker; Bob Wielinga 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 717 KB

Automated handling of tutoring and training functions in educational systems requires the availability of articulate domain models. In this article we further develop the application of qualitative models for this purpose. A framework is presented that defines a key role for qualitative models as in

Information retrieval based on fuzzy rea

Information retrieval based on fuzzy reasoning

✍ G. Guardalben; D. Lucarella 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 869 KB