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