IoTSAT: A formal framework for security analysis of the internet of things (IoT)

机译：IoTSAT：物联网（IoT）安全分析的正式框架

获取原文

页面导航

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

摘要

The new attack surface being crafted by the huge influx of IoT devices is both formidable and unpredictable, as it introduces a rich set of unexplored attack techniques and unknown vulnerabilities. These new attack techniques are hard to perceive through traditional means, owing to concealed and cascaded inter-device, inter-system and device-environment dependencies. In this paper, we present IoTSAT, a formal framework for security analysis of IoT. IoTSAT formally models the generic behavior of IoT system of systems, based on device configurations, network topologies, user policies and IoT-specific attack surface. The model is then used to measure system's resilience against potential attacks and identify threat vectors and specific attack techniques, which can be used to achieve higher-level adversary's objectives. We evaluate IoTSAT over realistic IoT networks, which concludes that our approach is scalable and highly beneficial for uncovering complex attack vectors of IoT systems.

机译：物联网设备的大量涌入正在制造出新的攻击面，它既强大又不可预测，因为它引入了一系列丰富的未经探索的攻击技术和未知漏洞。由于隐藏的和级联的设备间，系统间和设备环境依赖性，这些新的攻击技术很难通过传统方式来感知。在本文中，我们介绍了IoTSAT，这是用于IoT安全分析的正式框架。 IoTSAT根据设备配置，网络拓扑，用户策略和特定于IoT的攻击面来正式建模系统IoT系统的一般行为。然后，该模型用于测量系统对潜在攻击的恢复力，并确定威胁向量和特定的攻击技术，这些技术可用于实现更高级别的对手的目标。我们通过现实的IoT网络评估IoTSAT，得出的结论是，我们的方法具有可扩展性，对于发现IoT系统的复杂攻击媒介非常有帮助。

著录项

来源
《IEEE Conference on Communications and Network Security》|2016年|180-188|共9页
会议地点
作者
Mujahid Mohsin; Zahid Anwar; Ghaith Husari; Ehab Al-Shaer; Mohammad Ashiqur Rahman;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词
telecommunication network topology; computer network security; Internet of Things;

机译：电信网络拓扑;计算机网络安全;物联网;

相似文献

外文文献
中文文献
专利

1. Security, privacy and trust of different layers in Internet-of-Things (IoTs) framework [J] . Aakanksha Tewari, B.B. Gupta Future generation computer systems . 2020,第Jula期

机译：物联网（IoT）框架中不同层的安全性，隐私和信任
2. Formal integrated network security analysis tool: formal query-based network security configuration analysis [J] . Maity Soumya, Bera P., Ghosh Soumya K., Networks, IET . 2015,第2期

机译：正式的集成网络安全分析工具：基于正式查询的网络安全配置分析
3. Formal analysis and design for engineering security automated derivation of formal software security specifications from goal-oriented security requirements [J] . Hassan R., Eltoweissy M., Bohner S., Software, IET . 2010,第2期

机译：工程安全的形式化分析和设计，可从面向目标的安全要求中自动得出正式的软件安全规范
4. IoTSAT: A formal framework for security analysis of the internet of things (IoT) [C] . Mujahid Mohsin, Zahid Anwar, Ghaith Husari, IEEE Conference on Communications and Network Security . 2016

机译：Iotsat：关于物联网的安全分析的正式框架（物联网）
5. Development of an Internet of Things (IoT) Network and Cybersecurity Framework Toward Dispersed, Decentralized and Secured Wireless Battery Management System in Cyber Physical Environments [D] . Faika, Tasnimun. 2019

机译：物联网（IoT）网络和网络安全框架的开发，旨在在网络物理环境中实现分散，分散和安全的无线电池管理系统
6. An Ontology-Based Cybersecurity Framework for the Internet of Things [O] . Bruno Augusti Mozzaquatro, Carlos Agostinho, Diogo Goncalves, 2018

机译：基于本体的物联网网络安全框架
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，哈希密钥。疾病诊断系统：在人类指甲异常

IoTSAT: A formal framework for security analysis of the internet of things (IoT)

摘要

著录项

相似文献

相关主题

期刊订阅