Login / Signup
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