Abstract:We consider a semantics-aware communication system, where timeliness is the semantic measure, with a source which maintains the most current version of a file, and a network of $n$ user nodes with the goal to acquire the latest version of the file. The source gets updated with newer file versions as a point process, and forwards them to the user nodes, which further forward them to their neighbors using a memoryless gossip protocol. We study the average version age of the network in the presence of $\tilde{n}$ jammers that disrupt inter-node communications, for the connectivity-constrained ring topology and the connectivity-rich fully connected topology. For the ring topology, we construct an alternate system model of mini-rings and prove that the version age of the original model can be sandwiched between constant multiples of the version age of the alternate model. We show in a ring network that when the number of jammers scales as a fractional power of the network size, i.e., $\tilde n= cn^\alpha$, the version age scales as $\sqrt{n}$ when $\alpha < \frac{1}{2}$, and as $n^{\alpha}$ when $\alpha \geq \frac{1}{2}$. As version age of a ring network without any jammers scales as $\sqrt{n}$, our result implies that version age with gossiping is robust against upto $\sqrt{n}$ jammers in a ring network. We then study the connectivity-rich fully connected topology, where we derive a greedy approach to place $\tilde{n}$ jammers to maximize age of the resultant network, which uses jammers to isolate as many nodes as possible, thereby consolidating all links into a single mini-fully connected network. We show in this network that version age scales as $\log{n}$ when $\tilde{n}=cn\log{n}$ and as $n^{\alpha-1}$, $1<\alpha\leq2$ when $\tilde{n}=cn^{\alpha}$, implying the network is robust against $n\log{n}$ jammers, since the age in a fully connected network without jammers scales as $\log{n}$.

Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers

On the Privacy Guarantees of Gossip Protocols in General Networks

Adversary-Augmented Simulation to evaluate fairness on HyperLedger Fabric

Byzantine-Robust Gossip: Insights from a Dual Approach

Quorum Tree Abstractions of Consensus Protocols

Adversaries with Limited Information in the Friedkin--Johnsen Model

A probabilistic characterization of a fault-tolerant gossiping algorithm

Formally verified asymptotic consensus in robust networks

Cheating and Anti-Cheating in Gossip-Based Protocol: an Experimental Investigation.

Network Abstractions for Characterizing Communication Requirements in Asynchronous Distributed Systems

A General Quantitative Analysis Framework for Attacks in Blockchain

How Robust are Timely Gossip Networks to Jamming Attacks?

An Experimental Study On Cheating And Anti-Cheating In Gossip-Based Protocol

Modeling the Impact of Network Connectivity on Consensus Security of Proof-of-Work Blockchain

Modeling and Verification of CKB Consensus Protocol in Coq.

Liveness and Latency of Byzantine State-Machine Replication (Extended Version)

A Formal Analysis of SCTP: Attack Synthesis and Patch Verification

Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries

PRAGTHOS:Practical Game Theoretically Secure Proof-of-Work Blockchain

Quantifying Liveness and Safety of Avalanche's Snowball

Achieving Optimal Breakdown for Byzantine Robust Gossip