Sign in

Modeling and Verification of the Bitcoin Protocol.

Kaylash ChaudharyAnsgar FehnkerJaco van de PolMarië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