Oh!... is it really you? : using rank functions to verify authentication protocols

J. Heather
Abstract:
What problem does this paper attempt to address?