Deciding knowledge properties of security protocols.

Ramaswamy Ramanujam, S. P. Suresh

Browse the full TARK paper archive.