Symposium and Bootcamp on the Science of Security最新文献

筛选

英文中文

Building the security behavior observatory: an infrastructure for long-term monitoring of client machines 构建安全行为观察站:用于长期监视客户机的基础设施

Symposium and Bootcamp on the Science of Security Pub Date : 2014-04-08 DOI: 10.1145/2600176.2600200

Alain Forget, Saranga Komanduri, A. Acquisti, Nicolas Christin, L. Cranor, Rahul Telang

引用次数: 13

Proving abstractions of dynamical systems through numerical simulations 通过数值模拟证明动力系统的抽象

Symposium and Bootcamp on the Science of Security Pub Date : 2014-01-07 DOI: 10.1145/2600176.2600188

S. Mitra

{"title":"Proving abstractions of dynamical systems through numerical simulations","authors":"S. Mitra","doi":"10.1145/2600176.2600188","DOIUrl":"https://doi.org/10.1145/2600176.2600188","url":null,"abstract":"A key question that arises in rigorous analysis of cyberphysical systems under attack involves establishing whether or not the attacked system deviates significantly from the ideal allowed behavior. This is the problem of deciding whether or not the ideal system is an abstraction of the attacked system. A quantitative variation of this question can capture how much the attacked system deviates from the ideal. Thus, algorithms for deciding abstraction relations can help measure the effect of attacks on cyberphysical systems and to develop attack detection strategies. In this paper, we present a decision procedure for proving that one nonlinear dynamical system is a quantitative abstraction of another. Directly computing the reach sets of these nonlinear systems are undecidable in general and reach set over-approximations do not give a direct way for proving abstraction. Our procedure uses (possibly inaccurate) numerical simulations and a model annotation to compute tight approximations of the observable behaviors of the system and then uses these approximations to decide on abstraction. We show that the procedure is sound and that it is guaranteed to terminate under reasonable robustness assumptions.","PeriodicalId":193860,"journal":{"name":"Symposium and Bootcamp on the Science of Security","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116760820","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

首页上一页