On the robust synthesis of logical consensus algorithms for distributed intrusion detection

We introduce a novel consensus mechanism by which the agents of a network can reach an agreement on the value of a shared logical vector function depending on binary input events. Based on results on the convergence of finite-state iteration systems, we provide a technique to design logical consensus systems that minimizing the number of messages to be exchanged and the number of steps before consensus is reached, and tolerating a bounded number of failed or malicious agents. We provide sufficient joint conditions on the input visibility and the communication topology for the method's applicability. We describe the application of our method to two distributed network intrusion detection problems.

[1]  J.N. Tsitsiklis,et al.  Convergence in Multiagent Coordination, Consensus, and Flocking , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[2]  Andrea Garulli,et al.  Simultaneous localization and map building for a team of cooperating robots: a set membership approach , 2003, IEEE Trans. Robotics Autom..

[3]  Antonio Bicchi,et al.  Consensus Computation in Unreliable Networks: A System Theoretic Approach , 2010, IEEE Transactions on Automatic Control.

[4]  Antonio Bicchi,et al.  A self-routing protocol for distributed consensus on logical information , 2010, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[5]  Sonia Martínez,et al.  Coverage control for mobile sensing networks , 2002, IEEE Transactions on Robotics and Automation.

[6]  Keith Ansel Marzullo,et al.  Maintaining the time in a distributed system: an example of a loosely-coupled distributed service (synchronization, fault-tolerance, debugging) , 1984 .

[7]  Leslie Lamport,et al.  The Byzantine Generals Problem , 1982, TOPL.

[8]  Nitin H. Vaidya,et al.  On reliable broadcast in a radio network , 2005, PODC '05.

[9]  Radia J. Perlman,et al.  Network layer protocols with Byzantine robustness , 1988 .

[10]  John N. Tsitsiklis,et al.  Parallel and distributed computation , 1989 .

[11]  P.J. Antsaklis,et al.  Asynchronous Consensus Protocols: Preliminary Results, Simulations and Open Questions , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[12]  Antonio Bicchi,et al.  Towards a Society of Robots , 2010, IEEE Robotics & Automation Magazine.

[13]  Shreyas Sundaram,et al.  Distributed Function Calculation via Linear Iterative Strategies in the Presence of Malicious Agents , 2011, IEEE Transactions on Automatic Control.

[14]  Wei Ren,et al.  Information consensus in multivehicle cooperative control , 2007, IEEE Control Systems.

[15]  Chong-Kwon Kim,et al.  Flooding in wireless ad hoc networks , 2001, Comput. Commun..

[16]  Jorge Cortés,et al.  Distributed algorithms for reaching consensus on general functions , 2008, Autom..

[17]  F. Robert.  Iterations sur des ensembles finis et automates cellulaires contractants , 1980 .

[18]  Seif Haridi,et al.  Distributed Algorithms , 1992, Lecture Notes in Computer Science.

[19]  Randal W. Beard,et al.  Distributed Consensus in Multi-vehicle Cooperative Control - Theory and Applications , 2007, Communications and Control Engineering.

[20]  Charles P. Pfleeger,et al.  Security in computing , 1988 .

[21]  Luca Schenato,et al.  A distributed consensus protocol for clock synchronization in wireless sensor network , 2007, 2007 46th IEEE Conference on Decision and Control.

[22]  Antonio Bicchi,et al.  Logical consensus for distributed network agreement , 2008, 2008 47th IEEE Conference on Decision and Control.

[23]  Francesco Bullo,et al.  Distributed Control of Robotic Networks , 2009 .

[24]  Reza Olfati-Saber,et al.  Consensus and Cooperation in Networked Multi-Agent Systems , 2007, Proceedings of the IEEE.