Title: Formal definitions of Key Exchange models and the effects of restrictions on adversaries
First published: 2005