Automatic analysis of distance bounding protocols. (2009)

by B B S Malladi, K Kothapalli
Venue:In Foundations of Computer Security. Affiliated to LICS09,