A Calculus for the Analysis of Wireless Network Security Protocols.

Francesco Ballardin Massimo 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