Security and Communication Networks

Research Article

Enhancing Transaction Security for Handling Accountability in Electronic Health Records

Figure 3

Scyther autoverification of the proposed protocol.