Home // eTELEMED 2014, The Sixth International Conference on eHealth, Telemedicine, and Social Medicine // View article
Authors:
Rima Addas
Ning Zhang
Keywords: e-Health; electronic patient records; privacy; security; performance
Abstract:
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.
Pages: 123 to 129
Copyright: Copyright (c) IARIA, 2014
Publication date: March 23, 2014
Published in: conference
ISSN: 2308-4359
ISBN: 978-1-61208-327-8
Location: Barcelona, Spain
Dates: from March 23, 2014 to March 27, 2014