Formalizing and verifying protocol refinements.

Scott N. Gerard Munindar P. Singh

Published in: ACM Trans. Intell. Syst. Technol. (2013)

Keyphrases

lightweight
cryptographic protocols
model checking
coloured petri nets
cooperative
formal analysis
databases
social networks
multi agent
response time
temporal logic
communication protocol
application layer
key distribution
wide area network
network protocols