Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

Formal Security Analysis and Performance Evaluation of the Linkable Anonymous Access Protocol

Abstract : The introduction of e-Health applications has not only brought benefits, but also raised serious concerns regarding security and privacy of health data. The increasing demands of accessing health data, highlighted critical questions and challenges concerning the confidentiality of electronic patient records and the efficiency of accessing these records. Therefore, the aim of this paper is to provide secure and efficient access to electronic patient records. In this paper, we propose a novel protocol called the Linkable Anonymous Access protocol (LAA). We formally verify and analyse the protocol against security properties such as secrecy and authentication using the Casper/FDR2 verification tool. In addition, we have implemented the protocol using the Java technology to evaluate its performance. Our formal security analysis and performance evaluation proved that the LAA protocol supports secure access to electronic patient records without compromising performance.
Document type :
Conference papers
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Tuesday, November 15, 2016 - 4:54:27 PM
Last modification on : Wednesday, January 10, 2018 - 6:08:09 PM
Long-term archiving on: : Thursday, March 16, 2017 - 6:41:25 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Rima Addas, Ning Zhang. Formal Security Analysis and Performance Evaluation of the Linkable Anonymous Access Protocol. 2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.500-510, ⟨10.1007/978-3-642-55032-4_51⟩. ⟨hal-01397342⟩



Record views


Files downloads