Sign in
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