On the verification of Wireless Transaction Protocol using SGM and RED.
Pao-Ann HsiungFarn WangRuey-Cheng ChenPublished in: RTCSA (2000)
Keyphrases
- cryptographic protocols
- protocol specification
- wireless local area networks
- formal analysis
- model checker
- database transactions
- medium access control
- concurrency control protocols
- wireless local area network
- wireless medium
- model checking
- wireless networks
- commit protocols
- locking protocol
- transaction model
- wireless communication
- trusted third party
- deadlock free
- concurrency control
- multiple access
- wireless link
- mobile devices
- correctness criterion
- formal verification
- lightweight
- transaction processing
- mac protocol
- mobile payment
- database
- protocol stack
- mobile users
- colored petri nets
- formal methods
- mobile nodes
- tcp ip
- transaction management
- authentication protocol
- physical layer
- correctness criteria
- link layer
- cellular networks
- security protocols
- wireless channels
- mobile ad hoc networks
- mobility management
- routing algorithm
- ad hoc networks
- petri net
- wifi
- wireless mesh networks