Verification of a multi-connectivity protocol for Tactile Internet applications.

Delia Rico María-del-Mar Gallardo Pedro Merino

Published in: Comput. Commun. (2023)

Keyphrases

cryptographic protocols
protocol specification
formal analysis
model checker
formal verification
model checking
lightweight
colored petri nets
formal proof
coloured petri nets
wireless sensor networks
mobile agents
end to end
tcp ip