Pub Date : 2017-04-01DOI: 10.1109/DTIS.2017.7930158
Giuseppe Airò Farulla, Anna-Lena Lamprecht
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.
{"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}
Pub Date : 2017-04-01DOI: 10.1109/DTIS.2017.7930160
Dennis Noll, U. Schwalke
The application of in-situ transfer-free nanocrystalline graphene grown by polymer enhanced catalytic chemical vapor deposition [1] for sensing humidity in an atmospheric environment is investigated by electrical testing. Exposure of the graphene devices to humidity enriched air leads to a relative resistance change of an absolute value of up to 3.5%. Furthermore, post application of a hydrophobic hexamethyldisilazane self-assembled monolayer onto the graphene transistors is attempted leading to a shift of the charge neutrality point towards zero potential. Yet, our devices show more pronounced rayleigh scattering after the self-assembled monolayer application, decreasing the current by a factor of 3.
{"title":"Feasibility study of in-situ grown nanocrystalline graphene for humidity sensing","authors":"Dennis Noll, U. Schwalke","doi":"10.1109/DTIS.2017.7930160","DOIUrl":"https://doi.org/10.1109/DTIS.2017.7930160","url":null,"abstract":"The application of in-situ transfer-free nanocrystalline graphene grown by polymer enhanced catalytic chemical vapor deposition [1] for sensing humidity in an atmospheric environment is investigated by electrical testing. Exposure of the graphene devices to humidity enriched air leads to a relative resistance change of an absolute value of up to 3.5%. Furthermore, post application of a hydrophobic hexamethyldisilazane self-assembled monolayer onto the graphene transistors is attempted leading to a shift of the charge neutrality point towards zero potential. Yet, our devices show more pronounced rayleigh scattering after the self-assembled monolayer application, decreasing the current by a factor of 3.","PeriodicalId":328905,"journal":{"name":"2017 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS)","volume":"200 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":"131685017","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：