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