Multi-Attacker Protocol Validation.

Wihem Arsac Giampaolo Bella Xavier Chantry Luca Compagna

Published in: J. Autom. Reason. (2011)

Keyphrases

lightweight
low cost
network protocols
coloured petri nets
neural network
formal analysis
social networks
website
wireless networks
petri net
tcp ip
cryptographic protocols