A Language for Analyzing Security of IOT Systems

机译：一种用于分析物联网系统安全性的语言

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

The control and protection of a user data is a very important aspect in the design and deployment of the Internet of Things (IoT). In this paper we propose a security-based modelling language for IoT systems, which explicitly represents data access controls. The language leverages the analysis of potential security failures resulting from a series of interactions between heterogeneous components of a system. We implemented a tool that automatically transforms IoT models into BIP models, which can then be simulated and analyzed for security guarantees. We illustrate the features of our language with a use-case inspired by an industrial scenario.

机译：用户数据的控制和保护是物联网（IoT）设计和部署中非常重要的方面。在本文中，我们提出了一种用于物联网系统的基于安全性的建模语言，该语言明确表示了数据访问控制。该语言利用对系统异类组件之间的一系列交互所导致的潜在安全失败的分析。我们实施了一种工具，该工具可将IoT模型自动转换为BIP模型，然后可以对其进行仿真和分析以确保安全性。我们以受工业场景启发的用例来说明语言的功能。

著录项

来源
《2018 13th Annual Conference on System of Systems Engineering》|2018年|37-44|共8页
会议地点 Paris(FR)
作者
Delphine Beaulaton; Najah Ben Said; Ioana Cristescu; Régis Fleurquin; Axel Legay; Jean Quilbeuf; Salah Sadou;
展开▼
作者单位

Univ. South Brittany, Irisa, Vannes, France;

INRIA, France;

INRIA, France;

Univ. South Brittany, Irisa, Vannes, France;

INRIA, France;

INRIA, France;

Univ. South Brittany, Irisa, Vannes, France;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类
关键词
Hospitals; Protocols; Security; Analytical models; Postal services; Electronic mail; Servers;

机译：医院;协议;安全性;分析模型;邮政服务;电子邮件;服务器;;

相似文献

外文文献
中文文献
专利

1. Analyzing the understandability of Requirements Engineering languages for CSCW systems: A family of experiments [J] . Miguel A. Teruel, Elena Navarro, Victor Lopez-Jaquero, Information and software technology . 2012,第11期

机译：分析CSCW系统的需求工程语言的可理解性：一系列实验
2. Corrigendum to 'Type-driven Gradual Security with References,' by Toro et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 4, Article No. 16 [J] . Toro ACM Transactions on Programming Languages and Systems . 2020,第2期

机译：Toro等人的勘误将“带有引用类型驱动的渐进安全性”，编程语言和系统（TOPLAS）第40卷的ACM交易，第4卷，第16条
3. Programming languages and systems security [J] . Salka C. IEEE security & privacy . 2005,第3期

机译：编程语言和系统安全
4. A Language for Analyzing Security of IOT Systems [C] . Delphine Beaulaton, Najah Ben Said, Ioana Cristescu, Annual Conference on System of Systems Engineering . 2018

机译：一种分析IOT系统安全性的语言
5. Analyzing security advice in functional aspect-oriented programming languages. [D] . Dantas, Daniel S. 2007

机译：使用面向方面的编程语言分析安全建议。
6. Security Architecture for Defining and Enforcing Security Profiles in DLT/SDN-Based IoT Systems [O] . Sara N. Matheu, Alberto Robles Enciso, Alejandro Molina Zarca, 2020

机译：在基于DLT / SDN的IoT系统中定义和实施安全配置文件的安全体系结构
7. ABSTRACT Various body parts or organs can be analysed to identify the different diseases in the human body. Fingernail analysis is one of the ways to identify disease in the human body. Nails are the body part which are farthest from the heart and therefore receive oxygen at last. As a result the nails are the first who show the symptoms of a disease in the human body. Fingernails can be easily captured for diagnosis and there are no heavy equipment or no specific conditions required to use nail image for disease diagnosis, like in other tests and scanning processes. Human nails deliver beneficial information about complaints or any nutritive imbalances in the human body depending upon their shape, texture and colour. In human beings, numerous systemic and skin diseases can be easily analyzed through careful examination of nails of both the limbs. A lot of nail illnesses have been found to be primary signs of numerous underlying systemic illnesses. The colour, texture or shape changes in nails are signs of many diseases mainly affecting nails. Considering all these properties of nails a system is proposed that uses digital image processing (DIP) methods for identifying such changes in the human nail to get more precise results and predict numerous diseases effortlessly. With the emerging Internet of Things (IOT) concept the generated report is made available remotely, this will help users to reduce transportation efforts. As the system has to deal with large and private data, the security of data must be ensured. To keep the data confidential, the Blockchain concept which is one of the most emerging concepts in the field of data management is used. The paper contains the implementation of the digital image processing for feature extraction of nail images, usage of IOT (ThingSpeak cloud) for data storage and implementation of Blockchain to keep the system secured and theft free. KEY WORDS: Int ernet of thin gs (IOT), Image proc essin g, Thin gSpeak, RG B vavalues, Mean pi xel vavalues, Bloc kchain , Hash key. Disease Diagnostic System: Abnormalities in Human Nail [O] . Pranav S. Wazarkar 2020

机译：摘要的各个身体部位或器官可被分析以识别在人体内的不同的疾病。指甲分析来识别人体疾病的方法之一。指甲是身体一部分是离心脏最远，因此在最后接受氧气。作为结果，指甲是第一谁表现出人体疾病的症状。指甲可以容易地捕获用于诊断和没有重装或需要使用指甲图像用于疾病诊断，比如在其他测试和扫描过程没有特定的条件。人的指甲提供有关投诉或取决于它们的形状，纹理和色彩在人体内的任何营养失衡有益的信息。在人类中，许多全身性皮肤疾病是可以很容易地通过两个四肢指甲的仔细检查分析。很多指甲病已发现众多潜在系统性疾病的主要症状。在指甲的颜色，质地和形状的变化是许多疾病主要影响指甲的迹象。考虑到所有的指甲的这些性能的系统被提出，用于识别人指甲这样的变化以获得更精确的结果，并毫不费力预测许多疾病用途的数字图像处理（DIP）方法。随着物联网（IOT）的概念，新兴的互联网将生成的报告提供远程，这将帮助用户降低运输工作。由于系统必须处理大量的私人数据，数据的安全性必须得到保证。为了保持数据的机密性，使用Blockchain的概念，它是在数据管理领域的大多数新兴的概念之一。本文包含了数字图像处理的指甲图像，IOT（ThingSpeak云）的使用为数据存储和执行Blockchain的特征提取的执行，以保持固定的系统和盗窃免费。关键词：诠释薄GS（IOT），图像的ERNET PROC essin克，薄型gSpeak，RG乙vavalues，平均数PI XEL vavalues，阵营kchain，哈希密钥。疾病诊断系统：在人类指甲异常

A Language for Analyzing Security of IOT Systems

摘要

著录项

相似文献

相关主题

期刊订阅