Modeling and Verification of the Bitcoin Protocol.

Kaylash Chaudhary Ansgar Fehnker Jaco van de Pol Mariëlle Stoelinga

Published in: MARS (2015)

Keyphrases

colored petri nets
cryptographic protocols
petri net
formal analysis
lightweight
trusted third party
real time
data sets
web services
modeling method
security protocols
authentication protocol
formal proof