Search

Synchronization of bio-inspired pulse-coupled oscillators is receiving increased attention due to its wide applications in sensor networks and wireless communications. However, most existing results are obtained in the absence of malicious attacks. Given the distributed and unattended nature of wireless sensor networks, it is imperative to enhance the resilience of pulse based synchronization against malicious attacks. To achieve this goal, we propose a new pulse based interaction mechanism to improve the resilience of pulse based synchronization. We rigorously characterize the condition for mounting stealthy attacks under the proposed pulse based interaction mechanism and prove analytically that synchronization of legitimate oscillators can be achieved in the presence of multiple stealthy attackers even when the initial phases are unrestricted, i.e., randomly distributed in the entire oscillation period. This is in distinct difference from most existing attack-resilient synchronization algorithms (including the seminal paper from L. Lamport and P. M. Melliar-Smith, “Synchronizing Clocks in the Presence of Faults,” J. ACM, vol. 32, no. 1, pp. 52–78, 1985), which require a priori (almost) synchronization among legitimate nodes. Numerical simulations are given to confirm the theoretical results. [ABSTRACT FROM AUTHOR]

In this paper, we consider the exact top-k query problem in wireless sensor networks, i.e., where one seeks to find the k highest reported values as well as the complete set of nodes that reported them. Our primary contribution in this context is EXTOK, a provably correct and topology-independent new filtering-based algorithm for processing exact top-k queries. As a secondary contribution we confirm a previous result of ours by showing that the efficiency of top-k query processing algorithms, including EXTOK, can be further improved by simply choosing a proper underlying logical tree topology. We examine EXTOK's performance with respect to a number of parameters and different logical tree topologies while using both synthetic and real data sets. Our simulation reveal that EXTOK consistently outperforms the current state-of-the-art algorithm by a very significant margin and regardless of the underlying logical tree topology. [ABSTRACT FROM AUTHOR]