Research Article

Enhancing Transaction Security for Handling Accountability in Electronic Health Records

Figure 7

HLPSL specification of role environment.