Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review

Fakhfakh, Faten; Tounsi, Mohamed; Mosbah, Mohamed; Kacem, Ahmed Hadj

doi:10.1016/j.procs.2018.08.128

Cited by 3 publications

(4 citation statements)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The main aim of this stage was to assess studies that focus on Homomorphic Encryption techniques so that the best technique is selected to meet the initial objective of finding the best technique to use which can support a spatial search among the various HE techniques studied. According to F. Fakhfakh et al, setting up an SLR requires developing a review protocol in terms of the review objective, protocol search questions, search strategy and inclusion and exclusion criteria [42].…”

Section: ) Stage 1: Setting Up the Reviewmentioning

confidence: 99%

“…Figure 2: Protocol for Systematic literature review process [42] The second one involved conducting the spatial search using the protocol with Paillier Encryption. In this one, using a Java program, a request was sent from one node to another where the random value for the client end is encrypted and the attribute value for the server side is also encrypted so that the server side sends back an encrypted value to the client side to demonstrate what happens in a Ring algorithm.…”

Section: Developing a Proof-of-concept Prototypementioning

confidence: 99%

See 1 more Smart Citation

Distributed Spatial Search Using Paillier Cryptosystem and a Distributed Ring Algorithm

2022

View full text Add to dashboard Cite

The problem of lack of anonymity and confidentiality can be experienced by those who collect statistical data online as well as those who provide the data. One end may be secure, for example, the one providing data, and yet the other end, for example, the one collecting data, may not be secure. In another scenario, both the data provider and collector may seek anonymity. Preventing the decryption of data provided while providing aggregated results is the best solution for such scenarios. To achieve this, this paper proposes a protocol that puts into application. Homomorphic Encryption and a Distributed Ring algorithm, to ensure data anonymity of both parties involved in a spatial search that is a data provider and a searcher. Firstly, we identify a Homomorphic Encryption technique that can work best for a spatial search by reviewing literature on Homomorphic Encryption techniques. Among the Homomorphic Encryption techniques reviewed were Rivest, Shamir and Adleman (RSA), El Gamal cryptosystem, Goldwasser-Micali cryptosystem, Benaloh cryptosystem, Paillier cryptosystem and Fully Homomorphic Encryption (FHE). After a comprehensive study, Paillier Homomorphic Encryption technique was identified as the best approach to be employed in securing a spatial search. Secondly, we propose a protocol for distributed spatial searching using Paillier cryptosystem and distributed ring algorithm principles. Finally, a proof of concept prototype using the proposed approach was implemented. From initial experiments conducted using the proposed approach, it is evident that the bigger cost comes from the communication over the network and less from the encryption algorithm and protocol itself. A 39.7% overhead when compared to the usefulness of the approach, is outweighed making the solution highly practical and useful.

show abstract

Section: ) Stage 1: Setting Up the Reviewmentioning

confidence: 99%

Section: Developing a Proof-of-concept Prototypementioning

confidence: 99%

Distributed Spatial Search Using Paillier Cryptosystem and a Distributed Ring Algorithm

2022

View full text Add to dashboard Cite

show abstract

“…It focuses on how to replace informal and incomplete pseudo code by syntax-free formal and complete definitions of a global-state transition system. In [21], Fakhfakh et al discuss various formal verification approaches for distributed algorithms. The study shows how there has been a rapid increase in the field of distributed algorithms due to the advances in networking technologies.…”

Section: B Distributed Protocols and Analysismentioning

confidence: 99%

“…The study shows how there has been a rapid increase in the field of distributed algorithms due to the advances in networking technologies. It also provides information for researchers and developers to understand the contributions and challenges of the existing formal verification technologies for distributed algorithms and paves the way to enhance the reliability of these distributed algorithms [21]. In [22], the work focuses on how formal methods can be used to analyze, design, and verify security protocols over open networks and distributed systems.…”

Section: B Distributed Protocols and Analysismentioning

confidence: 99%

Can Model Checking Assure, Distributed Autonomous Systems Agree? An Urban Air Mobility Case Study

Gupta¹,

Bhattacharyya²,

Vadivel³

2020

IJACSA

View full text Add to dashboard Cite

Assuring Behavior of Multirobot Autonomous Systems With Translation From Formal Verification to ROS Simulation

Praveen

Gupta

Bhattacharyya

et al. 2022

IEEE Systems Journal

View full text Add to dashboard Cite

Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review

Cited by 3 publications

References 24 publications

Distributed Spatial Search Using Paillier Cryptosystem and a Distributed Ring Algorithm

Distributed Spatial Search Using Paillier Cryptosystem and a Distributed Ring Algorithm

Can Model Checking Assure, Distributed Autonomous Systems Agree? An Urban Air Mobility Case Study

Assuring Behavior of Multirobot Autonomous Systems With Translation From Formal Verification to ROS Simulation

Contact Info

Product

Resources

About