Guaranteeing Synchronous Message Deadlines with the Timed Token Protocol.
Gopal AgrawalBiao ChenWei ZhaoSadegh DavariPublished in: ICDCS (1992)
Keyphrases
- database transactions
- message delivery
- messages exchanged
- colored petri nets
- petri net
- asynchronous communication
- response time
- lightweight
- security analysis
- security protocols
- communication infrastructure
- trusted third party
- communication protocols
- tcp ip
- formal analysis
- multi party
- distributed databases
- medium access
- authentication protocol
- discussion board
- integrity constraints
- sensor networks