Protocol Verification in a Theory of Action.

Aaron Hunter James P. Delgrande Ryan McBride

Published in: Canadian Conference on AI (2013)

Keyphrases

cryptographic protocols
formal analysis
formal methods
protocol specification
model checker
model checking
action theories
theoretical framework
learning algorithm
privacy preserving
multi agent
metadata
formal verification
neural network
verification method
network protocols
real time