Formalizing and Safeguarding Blockchain-Based BlockVoke Protocol as an ACME Extension for Fast Certificate Revocation

Certificates are integral to the security of today’s Internet. Protocols like BlockVoke allow secure, timely and efficient revocation of certificates that need to be invalidated. ACME, a scheme used by the non-profit Let’s Encrypt Certificate Authority to handle most parts of the certificate lifecyc...

詳細記述

書誌詳細

出版年:	Cryptography
主要な著者:	Anant Sujatanagarjuna, Arne Bochem, Benjamin Leiding
フォーマット:	論文
言語:	英語
出版事項:	MDPI AG 2022-12-01
主題:	colored petri nets blockchain certificate revocation formal verification security ACME
オンライン･アクセス:	https://www.mdpi.com/2410-387X/6/4/63