Towards GROUP protocol formalization.

Matteo Mordacchini Patrizio Dazzi Ranieri Baraglia Laura Ricci

Published in: P2P (2013)

Keyphrases

formal analysis
lightweight
cryptographic protocols
machine learning
security analysis
communication protocol
data sets
databases
neural network
knowledge representation
group members
security protocols