Fig. 12From: User authentication and access control to blockchain-based forensic log dataSimulation of protocol in Fig. 11 using AVISPA—no attack by intruderBack to article page