Sign in

A Calculus for the Analysis of Wireless Network Security Protocols.

Francesco BallardinMassimo Merro
Published in: Formal Aspects in Security and Trust (2010)
Keyphrases
  • wireless networks
  • security protocols
  • real time
  • lightweight
  • database systems
  • data processing
  • base station
  • access points
  • mobile communications