Formalizing the Blockchain-Based BlockVoke Protocol for Fast Certificate Revocation Using Colored Petri Nets

Formalizing the Blockchain-Based BlockVoke Protocol for Fast Certificate Revocation Using Colored Petri Nets

Protocol flaws such as the well-known Heartbleed bug, security and privacy issues or incomplete specifications, in general, pose risks to the direct users of a protocol and further stakeholders. Formal methods, such as Colored Petri Nets (CPNs), facilitate the design, development, analysis and verif...

Full description

Bibliographic Details
Main Authors: Anant Sujatanagarjuna, Arne Bochem, Benjamin Leiding
Format: Article
Language:English
Published: MDPI AG 2021-07-01
Series:Information
Subjects:
colored petri nets
blockchain
certificate revocation
formal verification
security
Online Access:https://www.mdpi.com/2078-2489/12/7/277

Internet

https://www.mdpi.com/2078-2489/12/7/277

Similar Items