@inproceedings{db3c1ae7c33844cfa0889f9faacd78c9,
title = "Preserving privacy in distributed system (PPDS) protocol: Security analysis",
abstract = "Within the diversity of existing Big Data and data processing solutions, meeting the requirements of privacy and security is becoming a real need. In this paper we tackle the security analysis of a new protocol of data processing in distributed system (PPDS). This protocol is composed of three phases: authentication, node head selection and data linking. This paper deals with its formal validation done using HLPSL language via AVISPA. We provide also its security analysis. Some performance analysis based on its proof of concept are also given in this paper.",
keywords = "AVISPA, Big Data, Denial of Service Attack, Entropy, Formal validation, Man-In-The-Middle Attack, Security",
author = "Ashref Aloui and Mounira Msahli and Talel Abdessalem and Stephane Bressan and Sihem Mesnager",
note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 36th IEEE International Performance Computing and Communications Conference, IPCCC 2017 ; Conference date: 10-12-2017 Through 12-12-2017",
year = "2017",
month = jul,
day = "2",
doi = "10.1109/PCCC.2017.8280505",
language = "English",
series = "2017 IEEE 36th International Performance Computing and Communications Conference, IPCCC 2017",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "1--7",
booktitle = "2017 IEEE 36th International Performance Computing and Communications Conference, IPCCC 2017",
}