Verification of a Revised WAP Wireless Transaction Protocol.
Steven GordonLars Michael KristensenJonathan BillingtonPublished in: ICATPN (2002)
Keyphrases
- cryptographic protocols
- mobile users
- protocol specification
- mobile phone
- database transactions
- wireless local area networks
- concurrency control protocols
- wireless networks
- mobile internet
- transaction model
- commit protocols
- model checker
- formal analysis
- medium access control
- mobile devices
- wireless communication
- wireless local area network
- multiple access
- locking protocol
- mobile nodes
- database
- formal verification
- wireless medium
- model checking
- trusted third party
- mac protocol
- lightweight
- mobile payment
- mobile networks
- distributed databases
- wireless link
- transaction management
- deadlock free
- communication protocols
- mobility management
- protocol stack
- wireless mesh networks
- authentication protocol
- cellular networks
- tcp ip
- correctness criteria
- database systems
- physical layer
- context aware
- concurrency control
- communication technologies
- mobile ad hoc networks
- multi hop
- security protocols
- access points
- correctness criterion
- formal methods
- network devices
- colored petri nets
- mobile applications
- ad hoc networks
- medium access