ASTo: A tool for security analysis of IoT systems

Mavropoulos, Orestis; Mouratidis, Haralambos; Fish, Andrew; Panaousis, Emmanouil

doi:10.1109/sera.2017.7965757

Cited by 16 publications

(10 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The platform ought to give help to transform the message to the style that meets the arrangement in between them. Scalability: Provided the growing nature of IoT as well as the forecasts as well as computations through [3] and also [2], a reliable assimilation framework should be scalable and evolvable enough to sustain the billions of things very soon to be connected to the internet. Soothe of testing: A combination structure must assist ease of testing and also debugging.…”

Section: Iot Frameworkmentioning

confidence: 99%

“…The dream of a worldwide media platform based on the smart objects interaction has actually already brought in a big leap ahead. The supposed Internet of Things (IoT) modern technology turns into a necessity for modern-day culture, where folks and also things are virtually combined, forming thereby details bodies, with cordless sensing unit nodules and networks [1] This innovation will lead the way to the progression of brand new apps and also services, which are going to be able to utilize the connection of bodily as well as digital bodies [2] The IoT paradigm depends on existing communication innovations including Bluetooth, ZigBee, Wi-fi, and Long-term Evolution-Advanced, only among others. However, developing an appropriate and good IoT body, based on these different technologies, appears a burdensome problem.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

5g Standardization Initiatives towards 5g Wireless Access Technology

Ayyavaraiah*

2019

IJITEE

View full text Add to dashboard Cite

The best largely favoured program architecture in IoT is the Service Oriented Architecture (SOA), which aims to deliver a loosely paired devices to utilize the usage as well as reuse of IoT companies at the middle-ware level, to decrease device combination issues. What is the most unique attribute of this paper, compared to various other study and also tutorial jobs, is the in depth presentation of the interior programs and also mechanisms of the system protocols based on IPv6. This paper gives 5G standardization projects in the direction of 5G cordless accessibility innovation.

show abstract

Section: Iot Frameworkmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

5g Standardization Initiatives towards 5g Wireless Access Technology

Ayyavaraiah*

2019

IJITEE

View full text Add to dashboard Cite

show abstract

“…In [21], Mavropoulos et al suggest a metamodel to describe IoT systems along with their security aspects. In this respect, a DSL is used to abstract hardware, software, social and security concepts.…”

Section: Related Workmentioning

confidence: 99%

“…Then, by means of code generation tools, guarantee that properties are enforced at runtime. Furthermore, it also allows for reasoning formally on models for various purposes such as security analysis and threat assessment [21], to name just a few. However, although the ongoing work on abstracting device heterogeneity is rather significant [13,10,3,4], modeling then enforcing security policies in the IoT is understudied.…”

Section: Introductionmentioning

confidence: 99%

Towards Model-Based Communication Control for the Internet of Things

Berrouyne

Adda

Mottu

et al. 2018

Software Technologies: Applications and Foundations

View full text Add to dashboard Cite

Most of existing Model-Driven Engineering (MDE) approaches for the Internet of Things (IoT) focus on means of modeling the behavior of end devices. Little attention has been paid to network-related abstractions and communication control. The paper introduces an approach towards enabling model-based communication control in a network of things. First, we suggest a Domain Specific Language (DSL) to abstract basic network features. Second, we propose a policy language to control the communications within the network. Finally, as a proof-of-concept, we present a code generation process to enforce the expressed policy at runtime.

show abstract

“…The standardization of IoT is crucial in providing advanced interoperability for all sensor devices and objects, which also require an identity management system. Furthermore, network security as well as data confidentiality raises major issues [3]. Last but not least, efficient energy and data management systems are required, with the aim of greening the IoT systems [4].…”

Section: Introductionmentioning

confidence: 99%

Network Protocols, Schemes, and Mechanisms for Internet of Things (IoT): Features, Open Challenges, and Trends

Triantafyllou

Sarigiannidis

Λάγκας³

2018

Wireless Communications and Mobile Computing

140

View full text Add to dashboard Cite

Internet of Things (IoT) constitutes the next step in the field of technology, bringing enormous changes in industry, medicine, environmental care, and urban development. Various challenges are to be met in forming this vision, such as technology interoperability issues, security and data confidentiality requirements, and, last but not least, the development of energy efficient management systems. In this paper, we explore existing networking communication technologies for the IoT, with emphasis on encapsulation and routing protocols. The relation between the IoT network protocols and the emerging IoT applications is also examined. A thorough layer-based protocol taxonomy is provided, while how the network protocols fit and operate for addressing the recent IoT requirements and applications is also illustrated. What is the most special feature of this paper, compared to other survey and tutorial works, is the thorough presentation of the inner schemes and mechanisms of the network protocols subject to IPv6. Compatibility, interoperability, and configuration issues of the existing and the emerging protocols and schemes are discussed based on the recent advanced of IPv6. Moreover, open networking challenges such as security, scalability, mobility, and energy management are presented in relation to their corresponding features. Lastly, the trends of the networking mechanisms in the IoT domain are discussed in detail, highlighting future challenges.

show abstract

ASTo: A tool for security analysis of IoT systems

Cited by 16 publications

References 6 publications

5g Standardization Initiatives towards 5g Wireless Access Technology

5g Standardization Initiatives towards 5g Wireless Access Technology

Towards Model-Based Communication Control for the Internet of Things

Network Protocols, Schemes, and Mechanisms for Internet of Things (IoT): Features, Open Challenges, and Trends

Contact Info

Product

Resources

About