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

Anant Sujatanagarjuna, Arne Bochem, Benjamin Leiding. Formalizing the Blockchain-Based BlockVoke Protocol for Fast Certificate Revocation Using Colored Petri Nets. Information, 12(7):277, 2021. [doi]

Abstract

Abstract is missing.