Stav dette: Improving Identity Protection over Wireless Networks Through Protocol Specifications