Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks.
Patrick SchallerBenedikt SchmidtDavid A. BasinSrdjan CapkunPublished in: CSF (2009)
Keyphrases
- wireless networks
- security protocols
- wireless communication
- mobile computing
- cellular networks
- wireless ad hoc networks
- automated design
- security properties
- network coding
- ad hoc networks
- low bandwidth
- cross layer
- wireless mesh networks
- multimedia services
- mobile networks
- access points
- wireless technologies
- multimedia
- wireless sensor networks
- data streams