Performance Analysis of the UFSOOK Protocol.

Márk Rátosi Gyula Simon

Published in: M&N (2019)

Keyphrases

formal analysis
tcp ip
coloured petri nets
lightweight
communication protocol
cryptographic protocols
database
website
authentication protocol
application layer
concurrency control protocols
key agreement protocol
messages exchanged