Priority Inheritance Protocol Proved Correct.
Xingyuan ZhangChristian UrbanChunhan WuPublished in: J. Autom. Reason. (2020)
Keyphrases
- object oriented
- lightweight
- coloured petri nets
- priority scheduling
- security protocols
- neural network
- genetic algorithm
- knowledge representation
- object oriented databases
- application layer
- network simulator
- formal analysis
- preemptive scheduling
- messages exchanged
- network protocols
- key agreement protocol
- cryptographic protocols
- database
- distributed databases
- database systems
- data sets