Security Analysis and Performance Evaluation of the Linkable Access Protocol of the EPRs
Rima Addas, Ning Zhang · Research Explorer (The University of Manchester) · 2014
Information security and privacy in the e-health domain is an issue of growing concern.The adoption of electronic patient records, increased regulation, provider collaboration and the increased need for a faster information exchange between patients, providers and payers, all point to the need for a better information security.Therefore, the aim of this paper is to provide secure access to electronic patient records without compromising performance.To achieve this, we have designed a secure protocol called the Linkable Access protocol.In this paper, (1) we formally verify and analyse the Linkble Access protocol against security properties (e.g., confidentiality) using the Casper/FDR2 verification tool.In addition, (2) we build a prototype using the Java technology to demonstrate the performance of the Linkable Access protocol.By doing this, we prove that the Linkable Access protocol maintains a good balance between security and performance.