Preserving privacy in distributed system (PPDS) protocol: Security analysis

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.