2017 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS)最新文献

筛选

英文中文

Model checking of security properties: A case study on Human-Robot Interaction processes 安全属性的模型检验:以人机交互过程为例

2017 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS) Pub Date : 2017-04-01 DOI: 10.1109/DTIS.2017.7930158

Giuseppe Airò Farulla, Anna-Lena Lamprecht

{"title":"Model checking of security properties: A case study on Human-Robot Interaction processes","authors":"Giuseppe Airò Farulla, Anna-Lena Lamprecht","doi":"10.1109/DTIS.2017.7930158","DOIUrl":"https://doi.org/10.1109/DTIS.2017.7930158","url":null,"abstract":"In Model-Driven Security (MDS) approaches, model checking is a natural way of assuring security properties. It offers a powerful complement to more traditional approaches like testing, and can reduce the overall development costs. In fact, it forces the developers to tackle security issues from the very beginning of their projects, in contrast to common practice where security is often considered just as an afterthought, and indeed quite an expensive one, in many projects and applications. This is especially the case when interesting, potentially disruptive, realms are investigated. Human-Robot Interaction (HRI) and co-working is a hot topic today, with robots becoming every day more pervasive in our lives. Nevertheless, many developers and researchers do not pay enough attention on the incredible consequences that an attack on or a failure of a robot may pose for the human companion or co-worker. In this paper, we take a closer look at security properties for a typical HRI process which has been modeled in DIME, and show how they can be verified with the GEAR model checker.","PeriodicalId":328905,"journal":{"name":"2017 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS)","volume":"446 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133700833","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

Feasibility study of in-situ grown nanocrystalline graphene for humidity sensing 原位生长纳米石墨烯用于湿度传感的可行性研究

2017 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS) Pub Date : 2017-04-01 DOI: 10.1109/DTIS.2017.7930160

Dennis Noll, U. Schwalke

引用次数: 3

首页上一页