Revisiting the Epistemics of Protocol Correctness.

Published in: Canadian Conference on AI (2013)

Keyphrases

lightweight
authentication protocol
communication protocol
coloured petri nets
network protocols
formal analysis
digital libraries
cryptographic protocols
real time
peer to peer
multi party
mobile devices
multi agent
application layer
group communication
correctness criterion
provably correct
information systems