Efficient Byzantine Sequential Change Detection

In the multisensor sequential change detection problem, a disruption occurs in an environment monitored by multiple sensors. This disruption induces a change in the observations of an unknown subset of sensors. In the Byzantine version of this problem, which is the focus of this work, it is further assumed that the postulated change-point model may be misspecified for an unknown subset of sensors. The problem then is to detect the change quickly and reliably, for any possible subset of affected sensors, even if the misspecified sensors are controlled by an adversary. Given a user-specified upper bound on the number of compromised sensors, we propose and study three families of sequential change-detection rules for this problem. These are designed and evaluated under a generalization of Lorden’s criterion, where conditional expected detection delay and expected time to false alarm are both computed in the worst-case scenario for the compromised sensors. The first-order asymptotic performance of these procedures is characterized as the worst-case false alarm rate goes to 0. The insights from these theoretical results are corroborated by a simulation study.

[1]  Georgios Fellouris,et al.  Second-Order Asymptotic Optimality in Multisensor Sequential Change Detection , 2016, IEEE Transactions on Information Theory.

[2]  G. Moustakides Optimal stopping times for detecting changes in distributions , 1986 .

[3]  Hongjoong Kim,et al.  A novel approach to detection of intrusions in computer networks via adaptive sequential and batch-sequential change-point detection methods , 2006, IEEE Transactions on Signal Processing.

[4]  M. Basseville,et al.  Sequential Analysis: Hypothesis Testing and Changepoint Detection , 2014 .

[5]  Rudolf B. Blazek,et al.  Detection of intrusions in information systems by sequential change-point methods , 2005 .

[6]  H. Vincent Poor,et al.  One Shot Schemes for Decentralized Quickest Change Detection , 2008, IEEE Transactions on Information Theory.

[7]  Taposh Banerjee,et al.  Data-Efficient Quickest Change Detection in Sensor Networks , 2015, IEEE Transactions on Signal Processing.

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

[9]  A. Tartakovsky Asymptotic Performance of a Multichart CUSUM Test Under False Alarm Probability Constraint , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[10]  Yongguo Mei,et al.  Information bounds and quickest change detection in decentralized decision systems , 2005, IEEE Transactions on Information Theory.

[11]  Y. Mei Efficient scalable schemes for monitoring a large number of data streams , 2010 .

[12]  Yajun Mei,et al.  Quickest detection in censoring sensor networks , 2011, 2011 IEEE International Symposium on Information Theory Proceedings.

[13]  E. S. Page CONTINUOUS INSPECTION SCHEMES , 1954 .

[14]  Nitis Mukhopadhyay,et al.  Applied Sequential Methodologies : Real-World Examples with Data Analysis , 2004 .

[15]  Rasul A. Khan Detecting changes in probabilities of a multi—component process , 1995 .

[16]  Allan Gut,et al.  Limit Theorems for Stopped Random Walks , 1988 .

[17]  Venugopal V. Veeravalli,et al.  Quickest Change Detection of a Markov Process Across a Sensor Array , 2008, IEEE Transactions on Information Theory.

[18]  Michael Ludkovski,et al.  Bayesian Quickest Detection in Sensor Arrays , 2012 .

[19]  Haikady N. Nagaraja Order Statistics from Independent Exponential Random Variables and the Sum of the Top Order Statistics , 2006 .

[20]  A. Rényi On the theory of order statistics , 1953 .

[21]  O. Hadjiliadis,et al.  Robustness of the N-CUSUM stopping rule in a Wiener disorder problem , 2014, 1410.8765.

[22]  G. Lorden PROCEDURES FOR REACTING TO A CHANGE IN DISTRIBUTION , 1971 .

[23]  Erhan Bayraktar,et al.  Byzantine Fault Tolerant Distributed Quickest Change Detection , 2015, SIAM J. Control. Optim..

[24]  Georgios Fellouris,et al.  Decentralized sequential change detection with ordered CUSUMs , 2016, 2016 IEEE International Symposium on Information Theory (ISIT).

[25]  D. Siegmund Sequential Analysis: Tests and Confidence Intervals , 1985 .

[26]  R. H. Farrell Limit Theorems for Stopped Random Walks III , 1966 .

[27]  David Siegmund,et al.  Sequential multi-sensor change-point detection , 2013, 2013 Information Theory and Applications Workshop (ITA).