The Bussard-Bagga and Other Distance Bounding Protocols under Man-inthe-Middle Attacks