Symbolic Analysis for Security of Roaming Protocols in Mobile Networks - [Extended Abstract].

Chunyu Tang, David A. Naumann, Susanne Wetzel

Browse the full SecureComm paper archive.