A Public Blockchain-based Identity Management Scheme and Petri Net-based Verification

The classical Public Key Infrastructure (PKI) has some weaknesses, such as risks brought by the centralized storage of certification centers, authentication failure due to offline of authentication service and cumbersome procedures of certificate revocations. This paper proposes a public blockchain-based identity management scheme to improve them. An identity information management protocol and a transaction construction protocol are specified to integrate identity signatures with blockchain transaction signatures. Three operation methods, identity registration, verification and revocation methods, are proposed to register, verify and revocation identity information to/from public blockchain. The register operation stores identities information on the blockchain, the verification and revocation methods can be done via blockchain, both of which improve the robustness of the proposed scheme. Finally, the scheme is modeled by Petri nets and verified its correctness using state-space graph and transition sequence analysis methods.