Symbolic analysis for security of roaming protocols in mobile networks - [extended abstract (2011)

by C Tang, D A Naumann, S Wetzel
Venue:In 7th International ICST Conference on Security and Privacy in Communication Networks (SecureComm 2011