𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Verification of the Capability Exchange Signalling protocol

✍ Scribed by Lin Liu; Jonathan Billington

Book ID
106245459
Publisher
Springer
Year
2007
Tongue
English
Weight
732 KB
Volume
9
Category
Article
ISSN
1433-2779

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The Practice of Cryptographic Protocol V
The Practice of Cryptographic Protocol Verification
✍ Michael Rusinowitch πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 119 KB

We present CASRUL, a compiler for cryptographic protocols specifications. Its purpose is to verify the executability of protocols and to translate them into rewrite rules that can be used by several kinds of automatic or semi-automatic tools for finding design flaws. We also present a related comple

Cryptanalysis of the Wu–Varadhrajan fair
Cryptanalysis of the Wu–Varadhrajan fair exchange protocol
✍ Olivier Markowitch; Shahrokh Saeednia πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 58 KB

In this paper we present an attack on a fair exchange protocol proposed by Wu and Varadharajan. We show that, after two executions of the protocol, a dishonest participant can collect enough information in order to obtain some secret information of the other participant. This precisely allows him to