Fig. 6From: User authentication and access control to blockchain-based forensic log dataSimulation of protocol in Fig. 4 using AVISPA—when protocol is safeBack to article page