| Title | CMSS: Collaborative Modeling of Safety and Security Requirements for Network Protocols |
| Publication Type | Conference Paper |
| Year of Publication | 2021 |
| Authors | Liu, Zhihao, Wang, Qiang, Li, Yongjian, Zhao, Yongxin |
| Conference Name | 2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom) |
| Keywords | 5G mobile communication, Analytical models, Collaboration, model-driven engineering, network protocol, Network topology, Protocols, Prototypes, pubcrawl, Requirement Modeling, resilience, Resiliency, Safety, Safety and Security Requirements, Trustworthy Systems |
| Abstract | Analyzing safety and security requirements remains a difficult task in the development of real-life network protocols. Although numerous modeling and analyzing methods have been proposed in the past decades, most of them handle safety and security requirements separately without considering their interplay. In this work, we propose a collaborative modeling framework that enables co-analysis of safety and security requirements for network protocols. Our modeling framework is based on a well-defined type system and supports modeling of network topology, message flows, protocol behaviors and attacker behaviors. It also supports the specification of safety requirements as temporal logical formulae and typical security requirements as queries, and leverages on the existing verification tools for formal safety and security analysis via model transformations. We have implemented this framework in a prototype tool CMSS, and illustrated the capability of CMSS by using the 5G AKA initialization protocol as a case study. |
| DOI | 10.1109/ISPA-BDCloud-SocialCom-SustainCom52081.2021.00037 |
| Citation Key | liu_cmss_2021 |
CMSS: Collaborative Modeling of Safety and Security Requirements for Network Protocols