✦ LIBER ✦

ECFSM-based probabilistic protocol verification

✍ Scribed by Chung-Ming Huang; Jenq-Muh Hsu; Shiun-Wei Lee

Publisher: Elsevier Science
Year: 1995
Tongue: English
Weight: 737 KB
Volume: 55
Category: Article
ISSN: 0020-0190
DOI: 10.1016/0020-0190(95)00056-i

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Rewriting-Based Verification of Authenti

Rewriting-Based Verification of Authentication Protocols

✍ Kazuhiro Ogata; Kokichi Futatsugi 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 266 KB

We propose a method of formally analysing security protocols based on rewriting. The method is roughly as follows. A security protocol is modeled as an observational transition system, which is described in CafeOBJ. Proof scores showing that the protocol has safety (security) properties are then wri

Formal Verification of Activity-Based Sp

Formal Verification of Activity-Based Specification of Protocols

✍ K.C. Anand; R.K. Shyamasundar 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 418 KB

In this paper, we describe a method to formally verify activity-based specifications such as EBSDL. Starting from EBSDL-like specifications that specify engineering activities in terms of input and output behaviors, we derive programs in an asynchronous language CSP-R. CSP-R programs are then verifi

A hint-based probabilistic protocol for

A hint-based probabilistic protocol for unicast communications in MANETs

✍ R. Beraldi; L. Querzoni; R. Baldoni 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 773 KB

Point-to-point transmissions represent a fundamental primitive in any communication network. Despite many proposals have appeared in the literature, providing an efficient implementation of such an abstraction in Mobile Ad Hoc Networks (MANETs) still remains an open issue. This paper proposes a pro