Figure 4. The update protocol, assuming $$ sk_1 $$ in the end node is tampered with.
All published articles are preserved here permanently: