Towards Formal Methods of IoT Application Layer Protocols

Hofer-Schmitz, Katharina; Stojanović, Branka

doi:10.1109/cmi48017.2019.8962139

Cited by 13 publications

(7 citation statements)

References 26 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Formal verification allows proving the correctness of a target protocol with respect to a certain specification or property with mathematical rigor. Possible checks include verification or falsification of security properties, functional correctness, qualitative and quantitative analysis of protocol specifications or implementations [34] [35], in presence of an attacker.…”

Section: Discussionmentioning

confidence: 99%

HArMoNICS: High-Assurance Microgrid Network Infrastructure Case Study

Roascio

Costa

Baccelli³

et al. 2022

IEEE Access

Self Cite

View full text Add to dashboard Cite

Modern Intelligent Infrastructures (II) are highly complex, interconnected systems that are now emerging. For instance, II can integrate technologies and processes to provide citizens with faster services and better goods. An average II can include many technologies, e.g., Cloud applications and IoT devices, under different environments, e.g., industry 4.0 production plants and smart buildings. Although II bring concrete benefits to all of these contexts, they also carry security concerns. Reasoning about threats and security exposures that might affect II is non trivial. This is only partially due to their inherent complexity. As a matter of fact, real II are typically in charge of some critical operations that cannot be interrupted or compromised for experimental purposes. An alternative solution is to rely on digital replicas which can provide a good trade off between realism and usability. These assets represent a strategic and highly demanded resource for the security community. In this paper we present HArMoNICS, a case study infrastructure meant to provide a playground for security experts interested in II security. HArMoNICS revolves around a digital replica of a real Smart Polygeneration Microgrid (SPM) located in Italy. Although most of the components are based on or inspired to the real system, HArMoNICS has been enriched with further security-relevant features. As a result, the case study includes vertical uses cases focusing on specific security topics. Security researchers can use it to assess the effectiveness of new methodologies, to carry out security training activities, or even to extend it with new elements.

show abstract

Section: Discussionmentioning

confidence: 99%

HArMoNICS: High-Assurance Microgrid Network Infrastructure Case Study

Roascio

Costa

Baccelli³

et al. 2022

IEEE Access

Self Cite

View full text Add to dashboard Cite

show abstract

“…Another works [35,4,78,44,125] predominantly focus on communication protocols and security in IoT. Gerodimos et al [35] discuss the fundamentals of IoT architecture and present an analysis of security threats.…”

Section: Related Iot Surveysmentioning

confidence: 99%

“…Abbasi [4] et al and Nebbione and Calzarossa [78] delve deep into security requirements, threats, and countermeasures in the IoT application layer. Schmitz and Sto-janovié [44] delve into the application of formal methods to IoT, specifically focusing on MQTT and CoAP protocols. Nastase [77] compares MQTT, XMPP, and CoAP with a focus on security.…”

Section: Related Iot Surveysmentioning

confidence: 99%

“…Natase [77] mention additional attacks such as privacy leaks, DoS attacks, malicious code, and social engineering among IoT users and attackers. In general, these IoT attacks can harm one or more of the critical security properties, such as confidentiality, integrity, and availability, and can lead to data breaches, unauthorized access, and other security issues [44].…”

Section: Application Layer Security Threatsmentioning

confidence: 99%

“…Notably, general security measures are insufficient to mitigate all these risks [44]. However, employing formal methods at the design stage could identify and prevent certain vulnerabilities, thereby enhancing the security robustness of IoT protocols [67].…”

Section: Application Layer Security Threatsmentioning

confidence: 99%

See 2 more Smart Citations

A survey on IoT application layer protocols, security challenges, and the role of explainable AI in IoT (XAIoT)

Quincozes,

Kazienko

et al. 2024

Int. J. Inf. Secur.

View full text Add to dashboard Cite

The Internet of Things (IoT) plays a fundamental role in contemporary society, necessitating an in-depth comprehension of its application layer protocols, intertwined technologies, security issues, and effective countermeasures. This survey delivers an exhaustive analysis of these protocols, emphasizing the escalating significance of Explainable Artificial Intelligence in IoT (XAIoT). To elucidate its practical implications, we conducted a case study examining a real-world scenario where XAIoT significantly bolstered IoT security. This case study demonstrated XAIoT's potential to enhance transparency and trustworthiness in IoT systems. Furthermore, the survey critically evaluates existing literature, pinpointing specific opportunities and gaps in the present state of IoT application layer security. For instance, our analysis revealed a pressing need for more robust security protocols and the integration of advanced machine learning techniques for anomaly detection in IoT applications. This survey, designed to provide a comprehensive perspective, seeks to stimulate additional innovation and research in the realm of secure and intelligent IoT applications. In doing so, it contributes to the ongoing dialogue on improving IoT security, offering valuable insights for researchers and practitioners alike.

show abstract