International Conference on High Confidence Networked Systems最新文献_第3页

Leader selection games under link noise injection attacks 链路噪声注入攻击下的首领选择博弈

International Conference on High Confidence Networked Systems Pub Date : 2012-04-17 DOI: 10.1145/2185505.2185511

Andrew Clark, L. Bushnell, R. Poovendran

{"title":"Leader selection games under link noise injection attacks","authors":"Andrew Clark, L. Bushnell, R. Poovendran","doi":"10.1145/2185505.2185511","DOIUrl":"https://doi.org/10.1145/2185505.2185511","url":null,"abstract":"In a leader-follower multi-agent system, the states of a set of leader agents are controlled directly by the system owner and used to influence the behavior of the remaining follower agents. When deployed in hostile environments, leader-follower systems may be disrupted by adversaries introducing noise in the communication links between agents through interference or false packet insertion, thus corrupting the states of the follower agents. In this paper, we study the problem of mitigating the effect of noise injection attacks by selecting leader agents. We address two cases within a supermodular game-theoretic framework. In the first case, a fixed set of leaders is chosen when the system is initialized. We model this case as a Stackelberg game, in which the system moves first by choosing leaders in order to minimize the worst-case error and the adversary responds by introducing noise. In the second case, the set of leaders varies over time. We study the second case as a simultaneous-move game between the system and an adversary. We show that the game formulations for both cases have equilibria that can be approximated up to a provable bound using supermodular optimization techniques. We illustrate our approach via simulations.","PeriodicalId":203753,"journal":{"name":"International Conference on High Confidence Networked Systems","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-04-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125311672","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 4

Distributed detection and isolation of topology attacks in power networks 电网拓扑攻击的分布式检测与隔离

International Conference on High Confidence Networked Systems Pub Date : 2012-04-17 DOI: 10.1145/2185505.2185516

James Weimer, S. Kar, K. Johansson

{"title":"Distributed detection and isolation of topology attacks in power networks","authors":"James Weimer, S. Kar, K. Johansson","doi":"10.1145/2185505.2185516","DOIUrl":"https://doi.org/10.1145/2185505.2185516","url":null,"abstract":"This paper addresses the issue of detecting and isolating topology attacks in power networks. A topology attack, unlike a data attack and power injection attack, alters the physical dynamics of the power network by removing bus interconnections. These attacks can manifest as both cyber and physical attacks. A physical topology attack occurs when a bus interconnection is physically broken, while a cyber topology attack occurs when incorrect information about the network topology is transmitted to the system estimator and incorporated as the truth. To detect topology attacks, a stochastic hypothesis testing problem is considered assuming noisy measurements are obtained by periodically sampling a dynamic process described by the networked swing equation dynamics, modified to assume stochastic power injections. A centralized approach to network topology detection and isolation is introduced as a two-part scheme consisting of topology detection followed by topology isolation, assuming a topology attack exists. To address the complexity issues arising with performing centralized detection in large-scale power networks, a decentralized approach is presented that uses only local measurements to detect the presence of a topology attack. Simulation results illustrate that both the centralized and decentralized approaches accurately detect and isolate topology attacks.","PeriodicalId":203753,"journal":{"name":"International Conference on High Confidence Networked Systems","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-04-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116111624","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 44

Integrity attacks on cyber-physical systems 对网络物理系统的完整性攻击

International Conference on High Confidence Networked Systems Pub Date : 2012-04-17 DOI: 10.1145/2185505.2185514

Yilin Mo, B. Sinopoli

引用次数: 111

Attack models and scenarios for networked control systems 网络控制系统的攻击模型和场景

International Conference on High Confidence Networked Systems Pub Date : 2012-04-17 DOI: 10.1145/2185505.2185515

André M. H. Teixeira, D. Perez, H. Sandberg, K. Johansson

引用次数: 401

NCS security experimentation using DETER 使用威慑的NCS安全实验

International Conference on High Confidence Networked Systems Pub Date : 2012-04-17 DOI: 10.1145/2185505.2185518

Alefiya Hussain, Saurabh Amin

引用次数: 7

HMM-based characterization of channel behavior for networked control systems 基于hmm的网络控制系统通道行为表征

International Conference on High Confidence Networked Systems Pub Date : 2012-04-17 DOI: 10.1145/2185505.2185508

Jian Chang, K. Venkatasubramanian, Chinwendu Enyioha, S. Sundaram, George J. Pappas, Insup Lee

{"title":"HMM-based characterization of channel behavior for networked control systems","authors":"Jian Chang, K. Venkatasubramanian, Chinwendu Enyioha, S. Sundaram, George J. Pappas, Insup Lee","doi":"10.1145/2185505.2185508","DOIUrl":"https://doi.org/10.1145/2185505.2185508","url":null,"abstract":"We study the problem of characterizing the behavior of lossy and data corrupting communication channels in a networked control setting, where the channel's behavior exhibits temporal correlation. We propose a behavior characterization mechanism based on a hidden Markov model (HMM). The use of a HMM in this regard presents multiple challenges including dealing with incomplete observation sequences (due to data losses and corruptions) and the lack of a priori information about the model complexity (number of states in the model). We address the first challenges by using the plant state information and history of received/applied control inputs to fill in the gaps in the observation sequences, and by enhancing the HMM learning algorithm to deal with missing observations. Further, we adopt two model quality criteria for determining behavior model complexity. The contributions of this paper include: (1) an enhanced learning algorithm for refining the HMM model parameters to handle missing observations, and (2) simultaneous use of two well-defined model quality criteria to determine the model complexity. Simulation results demonstrate over 90% accuracy in predicting the output of a channel at a given time step, when compared to a traditional HMM based model that requires complete knowledge of the model complexity and observation sequence.","PeriodicalId":203753,"journal":{"name":"International Conference on High Confidence Networked Systems","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-04-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122572646","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

Coordinated variable structure switching in smart power systems: attacks and mitigation 智能电力系统中的协调变结构切换:攻击与缓解

International Conference on High Confidence Networked Systems Pub Date : 2012-04-17 DOI: 10.1145/2185505.2185509

Shan Liu, D. Kundur, T. Zourntos, K. Butler-Purry

引用次数: 14