๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Analysing a stream authentication protocol using model checking

โœ Scribed by Philippa Hopcroft; Gavin Lowe

Publisher
Springer-Verlag
Year
2004
Tongue
English
Weight
263 KB
Volume
3
Category
Article
ISSN
1615-5262

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Local model checking and protocol analys
Local model checking and protocol analysis
โœ Xiaoqun Du; Scott A. Smolka; Rance Cleaveland ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Springer ๐ŸŒ English โš– 317 KB
Estimating protocol performance using a
Estimating protocol performance using a formal specification model
โœ Raymond E. Miller; Zafar Ullah Chaudhry ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 212 KB

This paper introduces an approach for protocol performance estimation directly from a formal model of the protocol. By using the approach presented in this paper, performance of a protocol can be quickly estimated at an early stage of protocol design. The simplicity of analysis, achieved by determin