Sign in

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

Chunyu TangDavid A. NaumannSusanne Wetzel
Published in: SecureComm (2011)
Keyphrases
  • extended abstract
  • mobile networks
  • mobile users
  • real time
  • security protocols
  • mobile devices
  • intrusion detection
  • wireless networks
  • ad hoc networks