On Formalising and Analysing the Tweetchain Protocol.

Mariapia Raimondo Simona Bernardi Stefano Marrone

Published in: ICISSP (2021)

Keyphrases

formal analysis
cryptographic protocols
coloured petri nets
knowledge base
security protocols
communication protocol
application layer
databases
neural network
digital libraries
communication protocols
denial of service attacks
protocol specification