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

A framework for privacy and security analysis of probe-based traffic information systems 基于探针的交通信息系统的隐私和安全分析框架

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

E. Canepa, C. Claudel

{"title":"A framework for privacy and security analysis of probe-based traffic information systems","authors":"E. Canepa, C. Claudel","doi":"10.1145/2461446.2461451","DOIUrl":"https://doi.org/10.1145/2461446.2461451","url":null,"abstract":"Most large scale traffic information systems rely on fixed sensors (e.g. loop detectors, cameras) and user generated data, this latter in the form of GPS traces sent by smartphones or GPS devices onboard vehicles. While this type of data is relatively inexpensive to gather, it can pose multiple security and privacy risks, even if the location tracks are anonymous. In particular, creating bogus location tracks and sending them to the system is relatively easy. This bogus data could perturb traffic flow estimates, and disrupt the transportation system whenever these estimates are used for actuation. In this article, we propose a new framework for solving a variety of privacy and cybersecurity problems arising in transportation systems. The state of traffic is modeled by the Lighthill-Whitham-Richards traffic flow model, which is a first order scalar conservation law with concave flux function. Given a set of traffic flow data, we show that the constraints resulting from this partial differential equation are mixed integer linear inequalities for some decision variable. The resulting framework is very flexible, and can in particular be used to detect spoofing attacks in real time, or carry out attacks on location tracks. Numerical implementations are performed on experimental data from the~emph{Mobile Century} experiment to validate this framework.","PeriodicalId":203753,"journal":{"name":"International Conference on High Confidence Networked Systems","volume":"41 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":"127590468","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}

引用次数: 14

Privacy-preserving release of aggregate dynamic models 保护隐私的聚合动态模型发布

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

J. L. Ny, George J. Pappas

引用次数: 12

Achieving resilience of heterogeneous networks through predictive, formal analysis 通过预测性形式化分析实现异构网络的弹性

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

Zhijin Qin, G. Denker, C. Talcott, N. Venkatasubramanian

{"title":"Achieving resilience of heterogeneous networks through predictive, formal analysis","authors":"Zhijin Qin, G. Denker, C. Talcott, N. Venkatasubramanian","doi":"10.1145/2461446.2461459","DOIUrl":"https://doi.org/10.1145/2461446.2461459","url":null,"abstract":"Rapid development and wide deployment of wireless technologies in recent years have brought an increasing number and variety of services that are accessible directly from mobile terminals via multiple network access technologies (e.g, Ethernet, WiFi, Bluetooth, LTE, etc). A particular traffic flow may go through different kinds of networks, which greatly increases the end-to-end connectivity opportunities. However, the disadvantage of multinetworks is that a failure or change in one network type may affect many traffic flows. Thus, the various networks in a multinetwork cannot be managed in isolation. Rather we need methodologies that analyze the effects of changes in these dynamic and heterogeneous network environments in unison. Traditional network analysis approaches only focus on static network attributes and do not fully consider the impact of failures on quality of services (QoS) across flows. In this paper, we design and implement a \"what-if\" analysis methodology using formal methods. Our methodology analyzes the impact of failures and changes in heterogeneous networks on QoS of flows. The results of the formal analysis can guide network administrators in their decisions to proactively adapt network configurations to achieve mission or application objectives. We illustrate our methodology with the help of use cases such as incorporating additional nodes in a network or reconfiguring the network due to failure. We compare our results with conventional network configuration approaches and show how our formal methodology provides more effective decision support than conventional network configuration approaches and that it scales better than simulation approaches.","PeriodicalId":203753,"journal":{"name":"International Conference on High Confidence Networked Systems","volume":"23 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":"132461669","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}

引用次数: 7

Distributed model-invariant detection of unknown inputs in networked systems 网络系统中未知输入的分布式模型不变检测

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

James Weimer, Damiano Varagnolo, K. Johansson

引用次数: 8

Contract-based blame assignment by trace analysis 通过跟踪分析进行基于合同的责任分配

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

Shaohui Wang, A. Ayoub, Radoslav Ivanov, O. Sokolsky, Insup Lee

引用次数: 9

An inverse correlated equilibrium framework for utility learning in multiplayer, noncooperative settings 多人非合作环境下效用学习的逆相关均衡框架

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

Aaron M. Bestick, L. Ratliff, Posu Yan, R. Bajcsy, S. Sastry

引用次数: 12

Algorithms for determining network robustness 确定网络鲁棒性的算法

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

Heath J. LeBlanc, X. Koutsoukos

引用次数: 22

Bio-inspired strategy for control of viral spreading in networks 控制网络病毒传播的仿生策略

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

Chinwendu Enyioha, V. Preciado, George J. Pappas

{"title":"Bio-inspired strategy for control of viral spreading in networks","authors":"Chinwendu Enyioha, V. Preciado, George J. Pappas","doi":"10.1145/2461446.2461452","DOIUrl":"https://doi.org/10.1145/2461446.2461452","url":null,"abstract":"We consider a variant of the well-known Susceptible-Infected-Susceptible (SIS) network spreading model, and present a virus control strategy in which nodes in a network are in sleep state or awake state with certain probabilities. Nodes in sleep state are assumed to have a lower infection rate relative to nodes in awake state, hence lower exposure levels to a viral attack on the network. The strategy presented is inspired by the notion of bacteria colony textit{persistence} to antibiotics in which certain bacteria in the colony hibernate or switch to dormant states as a way of reducing their exposure to antibiotics and helping the colony withstand the effects of the antibiotic attack. Based on a simplified model of persistence, we present a threshold above which a small infection may become an epidemic. Further, we consider the problem of designing the probability of each node being in sleep (less infectious) state with the least effort, allowing the network to control the spread of an infection. Our design strategy for the probabilities of being in sleep state exploits the diagonal dominance property of a non-convex constraint, which enables relaxation of the problem to a Linear Program, for which we compute an exact solution using only local information. Finally, via simulations, we show that the probability of being in sleep state, resulting from our relaxation does, indeed, exploit the network structure in controlling the virus spread.","PeriodicalId":203753,"journal":{"name":"International Conference on High Confidence Networked Systems","volume":"300 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":"131605227","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}

引用次数: 9

A dynamic game-theoretic approach to resilient control system design for cascading failures 级联故障弹性控制系统设计的动态博弈论方法

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

Quanyan Zhu, T. Başar

引用次数: 50

Integrated simulation and emulation platform for cyber-physical system security experimentation 网络物理系统安全实验综合仿真仿真平台

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

Wei Yan, Yuan Xue, Xiaowei Li, Jiannian Weng, T. Busch, J. Sztipanovits

{"title":"Integrated simulation and emulation platform for cyber-physical system security experimentation","authors":"Wei Yan, Yuan Xue, Xiaowei Li, Jiannian Weng, T. Busch, J. Sztipanovits","doi":"10.1145/2185505.2185519","DOIUrl":"https://doi.org/10.1145/2185505.2185519","url":null,"abstract":"There is a pressing need to evaluate both cyber- and physical systems together and holistically for a rapidly growing number of applications using simulation and emulation in a realistic environment, which brings realistic attacks against the defensive capabilities of CPS (Cyber-Physical System). Without the support from appropriate tools and run-time environments, this assessment process can be extremely time-consuming and error-prone, if possible at all. In this paper, we present iSEE - integrated Simulation and Emulation platform for security Experimentation, as a \"software supporting research infrastructure used for cyber security research and development\". iSEE allows for the concurrent modeling, experimentation and evaluation of CPS that range from a fully simulated to a fully implemented system. iSEE has two major components: 1) modeling environment for system specification and experiment configuration and 2) run-time environment that supports experiment execution. iSEE employs the Model-Integrated-Computing (MIC) approach, which explicitly uses models throughout the experiment environments and integrates them at the domain-specific model level. The run-time environment of iSEE integrates Matlab and the DETERlab testbed to support realistic assessment of CPS on real distributed networking environments in its early design phase, before a fully implemented system is available. At run time, iSEE provides time synchronization and data communication and coordinates the execution of the security experiment across simulation and emulation platforms.","PeriodicalId":203753,"journal":{"name":"International Conference on High Confidence Networked Systems","volume":"16 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":"116550770","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}

引用次数: 20