Proving the Herman-Protocol Conjecture.

Maria Bruna Radu Grigore Stefan Kiefer Joël Ouaknine James Worrell

Published in: ICALP (2016)

Keyphrases

lightweight
coloured petri nets
tcp ip
network protocols
cryptographic protocols
multi party
authentication protocol
formal analysis
real time
end to end
security analysis
intrusion detection
communication protocol
wireless sensor networks
social networks
neural network
databases