On the security verification of a short message service protocol.

Anca Delia Jurcut, Madhusanka Liyanage, Jinyong Chen, Cornelia Gyrdi, Jingsha He

Browse the full WCNC paper archive.