Analysing a Stream Authentication Protocol Using Model Checking.

Philippa J. Broadfoot, Gavin Lowe

Browse the full ESORICS paper archive.