✦ LIBER ✦

A game-theoretic framework for specification and verification of cryptographic protocols

✍ Scribed by Mohamed Saleh; Mourad Debbabi

Publisher: Springer
Year: 2009
Tongue: English
Weight: 385 KB
Volume: 22
Category: Article
ISSN: 0934-5043
DOI: 10.1007/s00165-009-0129-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A rigorous methodology for specification

A rigorous methodology for specification and verification of business processes

✍ Cristian Masalagiu; Wei-Ngan Chin; Ştefan Andrei; Vasile Alaiba 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 494 KB

Design and verification of a coordinatio

Design and verification of a coordination protocol for cooperating systems

✍ J. P. Thomas 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 164 KB

Development and verification of a generi

Development and verification of a generic framework for conceptual design

✍ Sebastian Macmillan; John Steele; Simon Austin; Paul Kirby; Robin Spence 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 406 KB

The rapid and dynamic information and knowledge transfer between designers during the conceptual phase of building projects can result in disorganised behaviour within the team. Team members can become frustrated by the lack of a common understanding of the manner in which the design activity is bei

Using temporal logics of knowledge for s

Using temporal logics of knowledge for specification and verification—a case study

✍ Clare Dixon 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 201 KB

Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over time. Here we use temporal logics of knowledge to reason about the game Cluedo. We show how to specify Cluedo using temp

A Tool For Specification And Verificatio

A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems

✍ Franco Raimondi; Alessio Lomuscio 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 184 KB

We present a compiler that translates a multi-agent systems specification given in the formalism of Interpreted Systems into an SMV program. We show how an SMV model checker can be coupled with a Kripke model editor (Akka) to allow for the mechanical verification of epistemic properties of multi-age

Toward a framework for the specification

Toward a framework for the specification of hybrid fuzzy modeling

✍ Mercedes Valdés; Antonio F. Gómez-Skarmeta; Juan A. Botía 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 425 KB

During the few last years, several successful approaches for the integration of soft computing techniques have been proposed in the area of data-driven fuzzy modeling (DDFM). However, there is a lack of methodological and general purpose hybridization in an easy and unified manner. This work outline