Typechecking protocols with Mungo and StMungo.

Dimitrios Kouzapas Ornela Dardha Roly Perera Simon J. Gay

Published in: PPDP (2016)

Keyphrases

regular expressions
network protocols
multi party
authentication protocol
communication protocol
social networks
evolutionary algorithm
rfid tags
security protocols
tree automata
communication protocols
message delivery