International Conference on High Confidence Networked Systems最新文献

Verifying information flow properties of hybrid systems 验证混合系统的信息流特性

International Conference on High Confidence Networked Systems Pub Date : 2013-04-09 DOI: 10.1145/2461446.2461458

P. Prabhakar, Boris Köpf

引用次数: 4

Minimax control for cyber-physical systems under network packet scheduling attacks 网络包调度攻击下网络物理系统的极大极小控制

International Conference on High Confidence Networked Systems Pub Date : 2013-04-09 DOI: 10.1145/2461446.2461460

Yasser Shoukry, José Araújo, P. Tabuada, M. Srivastava, K. Johansson

{"title":"Minimax control for cyber-physical systems under network packet scheduling attacks","authors":"Yasser Shoukry, José Araújo, P. Tabuada, M. Srivastava, K. Johansson","doi":"10.1145/2461446.2461460","DOIUrl":"https://doi.org/10.1145/2461446.2461460","url":null,"abstract":"The control of physical systems is increasingly being done by resorting to networks to transmit information from sensors to controllers and from controllers to actuators. Unfortunately, this reliance on networks also brings new security vulnerabilities for control systems. We study the extent to which an adversary can attack a physical system by tampering with the temporal characteristics of the network, leading to time-varying delays and more importantly by changing the order in which packets are delivered. We show that such attack can destabilize a system if the controller was not designed to be robust with respect to an adversarial scheduling of messages. Although one can always store delayed messages in a buffer so as to present them to the control algorithm in the order they were sent and with a constant delay, such design is overly conservative. Instead, we design a controller that makes the best possible use of the received packets in a minimax sense. The proposed design has the same worst case performance as a controller based on a buffer but has better performance whenever there is no attack or the attacker does not play the optimal attack strategy.","PeriodicalId":203753,"journal":{"name":"International Conference on High Confidence Networked Systems","volume":"145 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129813024","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}

引用次数: 35

Verifiably-safe software-defined networks for CPS 用于CPS的可验证安全的软件定义网络

International Conference on High Confidence Networked Systems Pub Date : 2013-04-09 DOI: 10.1145/2461446.2461461

R. Skowyra, A. Lapets, Azer Bestavros, A. Kfoury

{"title":"Verifiably-safe software-defined networks for CPS","authors":"R. Skowyra, A. Lapets, Azer Bestavros, A. Kfoury","doi":"10.1145/2461446.2461461","DOIUrl":"https://doi.org/10.1145/2461446.2461461","url":null,"abstract":"Next generation cyber-physical systems (CPS) are expected to be deployed in domains which require scalability as well as performance under dynamic conditions. This scale and dynamicity will require that CPS communication networks be programmatic (i.e., not requiring manual intervention at any stage), but still maintain iron-clad safety guarantees. Software-defined networking standards like Openflow provide a means for scalably building tailor-made network architectures, but there is no guarantee that these systems are safe, correct, or secure. In this work we propose a methodology and accompanying tools for specifying and modeling distributed systems such that existing formal verification techniques can be transparently used to analyze critical requirements and properties prior to system implementation. We demonstrate this methodology by iteratively modeling and verifying an Openflow learning switch network with respect to network correctness, network convergence, and mobility-related properties.\u0000 We posit that a design strategy based on the complementary pairing of software-defined networking and formal verification would enable the CPS community to build next-generation systems without sacrificing the safety and reliability that these systems must deliver.","PeriodicalId":203753,"journal":{"name":"International Conference on High Confidence Networked Systems","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123396701","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}

引用次数: 43

S3A: secure system simplex architecture for enhanced security and robustness of cyber-physical systems S3A:安全的系统单一架构，增强网络物理系统的安全性和鲁棒性

International Conference on High Confidence Networked Systems Pub Date : 2013-04-09 DOI: 10.1145/2461446.2461456

Sibin Mohan, Stanley Bak, E. Betti, H. Yun, L. Sha, M. Caccamo

引用次数: 99

Future cars: necessity for an adaptive and distributed multiple independent levels of security architecture 未来的汽车:需要一个自适应的、分布式的、多个独立级别的安全架构

International Conference on High Confidence Networked Systems Pub Date : 2013-04-09 DOI: 10.1145/2461446.2461450

A. Camek, C. Buckl, A. Knoll

引用次数: 11

Mechanism design for robust resource management to false report in cloud computing systems 云计算系统中健壮的虚假报告资源管理机制设计

International Conference on High Confidence Networked Systems Pub Date : 2013-04-09 DOI: 10.1145/2461446.2461448

Yusuke Aoki, Takafumi Kanazawa, T. Ushio

引用次数: 1

Using channel state feedback to achieve resilience to deep fades in wireless networked control systems 利用信道状态反馈实现无线网络控制系统对深度衰落的适应能力

International Conference on High Confidence Networked Systems Pub Date : 2013-04-09 DOI: 10.1145/2461446.2461453

B. Hu, M. Lemmon

引用次数: 11

Towards synthesis of platform-aware attack-resilient control systems: extended abstract 面向平台感知攻击弹性控制系统的综合:扩展抽象

International Conference on High Confidence Networked Systems Pub Date : 2013-04-09 DOI: 10.1145/2461446.2461457

M. Pajic, N. Bezzo, James Weimer, R. Alur, R. Mangharam, Nathan Michael, George J. Pappas, O. Sokolsky, P. Tabuada, Stephanie Weirich, Insup Lee

引用次数: 8

Taxonomy for description of cross-domain attacks on CPS 描述针对CPS的跨域攻击的分类法

International Conference on High Confidence Networked Systems Pub Date : 2013-04-09 DOI: 10.1145/2461446.2461465

M. Yampolskiy, P. Horváth, X. Koutsoukos, Yuan Xue, J. Sztipanovits

{"title":"Taxonomy for description of cross-domain attacks on CPS","authors":"M. Yampolskiy, P. Horváth, X. Koutsoukos, Yuan Xue, J. Sztipanovits","doi":"10.1145/2461446.2461465","DOIUrl":"https://doi.org/10.1145/2461446.2461465","url":null,"abstract":"The pervasiveness of Cyber-Physical Systems (CPS) in various aspects of the modern society grows rapidly. This makes CPS to increasingly attractive targets for various kinds of attacks. We consider cyber-security as an integral part of CPS security. Additionally, the necessity exists to investigate the CPS-specific aspects which are out of scope of cyber-security. Most importantly, attacks capable to cross the cyber-physical domain boundary should be analyzed. The vulnerability of CPS to such cross-domain attacks has been practically proven by numerous examples, e.g., by the currently most famous Stuxnet attack. In this paper, we propose taxonomy for description of attacks on CPS. The proposed taxonomy is capable of representing both conventional cyber-attacks as well as cross-domain attacks on CPS. Furthermore, based on the proposed taxonomy, we define the attack categorization. Several possible application areas of the proposed taxonomy are extensively discussed. Among others, it can be used to establish a knowledge base about attacks on CPS known in the literature. Furthermore, the proposed description structure will foster the quantitative and qualitative analysis of these attacks, both of which are necessarily to improve CPS security.","PeriodicalId":203753,"journal":{"name":"International Conference on High Confidence Networked Systems","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134031685","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}

引用次数: 96

Bounding the smallest robustly control invariant sets in networks with discrete disturbances and controls 具有离散扰动和控制的网络中最小鲁棒控制不变量集的边界

International Conference on High Confidence Networked Systems Pub Date : 2013-04-09 DOI: 10.1145/2461446.2461462

D. Tarraf

引用次数: 0