Abstract:In this paper, we propose distributed algorithms that solve a system of Boolean equations over a network, where each node in the network possesses only one Boolean equation from the system. The Boolean equation assigned at any particular node is a {\em private} equation known to this node only, and the nodes aim to compute the exact set of solutions to the system without exchanging their local equations. We show that each private Boolean equation can be locally lifted to a linear algebraic equation under a basis of Boolean vectors, leading to a network linear equation that is distributedly solvable using existing distributed linear equation algorithms as a subroutine. A number of exact or approximate solutions to the induced linear equation are then computed at each node from different initial values. The solutions to the original Boolean equations are eventually computed locally via a Boolean vector search algorithm. We prove that given solvable Boolean equations, when the initial values of the nodes for the distributed linear equation solving step are i.i.d selected according to a uniform distribution in a high-dimensional cube, our algorithms return the exact solution set of the Boolean equations at each node with high probability. Furthermore, we present an algorithm for distributed verification of the satisfiability of Boolean equations, and prove its correctness. Finally, we show that by utilizing linear equation solvers with differential privacy to replace the in-network computing routines, the overall distributed Boolean equation algorithms can be made differentially private. Under the standard Laplace mechanism, we prove an explicit level of noises that can be injected in the linear equation steps for ensuring a prescribed level of differential privacy.

Distributed Secret Securing in Discrete-Event Systems

Trusted Terminal Design of Distributed Environment

Distributed Shielded Execution for Transmissible Cyber Threats Analysis

Ensuring System-Level Protection against Eavesdropping Adversaries in Distributed Dynamical Systems

Secure Coded Distributed Computing

Distributed Algorithms that Solve Boolean Equations with Local and Differential Privacies

Distributed Sensing and Information Transmission of Discrete-Event Systems with Edge Sensors

Obfuscation mechanism for simultaneous public event information release and private event information hiding in discrete event systems

Event Concealment and Concealability Enforcement in Discrete Event Systems Under Partial Observation

Security policies for distributed systems

Secure and Flexible Data Sharing for Distributed Storage with Efficient Key Management

Distributed Supervisory Control of Discrete-Event Systems with Communication Delay

Critical Observability Enforcement in Discrete Event Systems Using Differential Privacy

Secure aggregation of distributed information: How a team of agents can safely share secrets in front of a spy

Game Theory in Distributed Systems Security: Foundations, Challenges, and Future Directions

Composable Security of Distributed Symmetric Key Establishment Protocol

The Design of a Security Mechanism for Distributed Firewall Systems

Exploiting Trust-Based Social Networks for Distributed Protection of Sensitive Data

Distributed Storage for Data Security

Protecting Privacy through Distributed Computation in Multi-agent Decision Making

Security Control of Networked Systems with Deception Attacks and Packet Dropouts: A Discrete-Time Approach