Robust decentralised proof-of-position algorithms for smart city applications

Aida Manzano Kharman,Pietro Ferraro,Anthony Quinn,Robert Shorten

2023-04-01

Abstract:We present a decentralised class of algorithms called Tree-Proof-of-Position (T-PoP). T-PoP algorithms rely on the web of interconnected devices in a smart city to establish how likely it is that an agent is in the position they claim to be. T-PoP operates under adversarial assumptions, by which some agents are incentivised to be dishonest. We present a theoretical formulation for T-PoP and its security properties, and we validate this model through a large number of Monte-Carlo simulations. We specifically focus on two instances of T-PoP and analyse their security and reliability properties under a range of adversarial conditions. Use-cases and applications are discussed towards the end of this paper.

Distributed, Parallel, and Cluster Computing

What problem does this paper attempt to address?

### Problems Addressed by the Paper

This paper aims to address the issue of how decentralized agents in smart city applications can prove their location in a trustworthy and verifiable manner. Specifically, the research proposes a class of algorithms called "Tree-Proof-of-Position" (T-PoP). These algorithms utilize the network of interconnected devices in smart cities to determine whether an agent's claimed location is genuine.

#### Main Contributions:
1. **Decentralized Nature**: The T-PoP algorithm is designed to be decentralized, eliminating the need for a central authority, thereby enhancing the system's security and privacy protection capabilities.
2. **Security and Reliability**: The paper presents a mathematical model to describe the working principles of the T-PoP algorithm and validates the model's effectiveness through extensive Monte Carlo simulations. Additionally, it provides probabilistic guarantees for detecting dishonest agents and collusion attacks.
3. **Privacy Protection**: The T-PoP algorithm can be implemented in a privacy-preserving manner, as agents do not need to reveal their actual location but only need to make encrypted commitments to their location.
4. **Parameter Adjustments**: Users can adjust the algorithm's operating conditions, such as thresholds, depth, and the number of witnesses, according to their security and reliability needs.

#### Research Background:
- In smart city application scenarios, such as vehicle cameras used to identify parking spaces or available charging stations, agents need to be able to prove their location in a trustworthy manner.
- In many current applications, the credibility of perceived information depends on the consensus of multiple agents. However, in situations where personal verification is not possible, the usual way to find the "truth" is to follow the majority's opinion.
- The core issue of this research is: How can agents claim to be at a certain location at a certain time without relying on the security of central authority?

#### Related Work:
- The paper reviews existing location proof methods and finds that most of them have unrealistic trust assumptions and de facto centralization issues.
- The proposed T-PoP algorithm overcomes these problems and performs well in high-density scenarios, especially when most agents are honest and the proportion of coerced agents is low.

Through this work, the paper demonstrates the effectiveness of the T-PoP algorithm in both theoretical and practical applications and validates its performance in high-density environments.