Login / Signup
Mechanised Verification of Distributed State-Space Algorithms for Security Protocols.
Frédéric Gava
Arthur Hidalgo
Jean Fortin
Published in:
PDCAT (2012)
Keyphrases
</>
state space
security protocols
learning algorithm
distributed systems