A Semantics for a Logic of Authentication (Extended Abstract).

Martn Abadi, Mark R. Tuttle

Browse the full PODC paper archive.