Preserving Consistency of Runtime Monitors across Protocol Changes.
Mahadevan SubramaniamPublished in: ICECCS (2005)
Keyphrases
- lightweight
- consistency checking
- replicated data
- network protocols
- formal analysis
- maintaining consistency
- cryptographic protocols
- multi party
- correctness criterion
- read only transactions
- distributed database systems
- path consistency
- application layer
- concurrency control protocols
- coloured petri nets
- correctness criteria
- distributed databases