Priority Inheritance Protocol Proved Correct.

Xingyuan Zhang Christian Urban Chunhan Wu

Published in: ITP (2012)

Keyphrases

formal analysis
object oriented
lightweight
object oriented databases
knowledge representation
cryptographic protocols
provably secure
electronic commerce
end to end
object model
authentication protocol
tcp ip
coloured petri nets