Towards a Formal MultipathP2P Protocol.

Ryma Abassi Mohamed Amine Riahla Karim Tamine Sihem Goumiri

Published in: Int. J. Bus. Data Commun. Netw. (2024)

Keyphrases

formal analysis
lightweight
formal model
communication protocol
coloured petri nets
formal methods
authentication protocol
security protocols
security analysis
databases
operational semantics
information systems
application layer
formal models
key distribution
provably secure
network protocols
neural network