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

Rima Addas, Ning Zhang

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    119 Downloads (Pure)

    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.
    Original languageEnglish
    Title of host publicationVolume 8407 of the series Lecture Notes in Computer Science
    PublisherSpringer Nature
    Pages500-510
    Number of pages11
    Publication statusPublished - 14 Apr 2014
    Event2014 Asian Conference on Availability, Reliability and Security (AsiaARES 2014) - Yogyakarta, Indonesia
    Duration: 14 Apr 201417 Apr 2014

    Conference

    Conference2014 Asian Conference on Availability, Reliability and Security (AsiaARES 2014)
    CityYogyakarta, Indonesia
    Period14/04/1417/04/14

    Fingerprint

    Dive into the research topics of 'Formal Security Analysis and Performance Evaluation of the Linkable Anonymous Access Protocol'. Together they form a unique fingerprint.

    Cite this