Zaslat SMS: Improving Identity Protection over Wireless Networks Through Protocol Specifications