CMSS: Collaborative Modeling of Safety and Security Requirements for Network Protocols

Zhihao Liu; Qiang Wang; Yongjian Li; Yongxin Zhao

doi:10.1109/ISPA-BDCloud-SocialCom-SustainCom52081.2021.00037

CMSS: Collaborative Modeling of Safety and Security Requirements for Network Protocols

Zhihao Liu
, Qiang Wang
, Yongjian Li
, Yongxin Zhao^*

^*Corresponding author for this work

Software Engineering Institute

East China Normal University
Southern University of Science and Technology
CAS - Institute of Software

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Scopus citations

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.

Original language	English
Title of host publication	19th IEEE International Symposium on Parallel and Distributed Processing with Applications, 11th IEEE International Conference on Big Data and Cloud Computing, 14th IEEE International Conference on Social Computing and Networking and 11th IEEE International Conference on Sustainable Computing and Communications, ISPA/BDCloud/SocialCom/SustainCom 2021
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	185-192
Number of pages	8
ISBN (Electronic)	9781665435741
DOIs	https://doi.org/10.1109/ISPA-BDCloud-SocialCom-SustainCom52081.2021.00037
State	Published - 2021
Event	19th IEEE International Symposium on Parallel and Distributed Processing with Applications, 11th IEEE International Conference on Big Data and Cloud Computing, 14th IEEE International Conference on Social Computing and Networking and 11th IEEE International Conference on Sustainable Computing and Communications, ISPA/BDCloud/SocialCom/SustainCom 2021 - New York, United States Duration: 30 Sep 2021 → 3 Oct 2021

Publication series

Name	19th IEEE International Symposium on Parallel and Distributed Processing with Applications, 11th IEEE International Conference on Big Data and Cloud Computing, 14th IEEE International Conference on Social Computing and Networking and 11th IEEE International Conference on Sustainable Computing and Communications, ISPA/BDCloud/SocialCom/SustainCom 2021

Conference

Conference	19th IEEE International Symposium on Parallel and Distributed Processing with Applications, 11th IEEE International Conference on Big Data and Cloud Computing, 14th IEEE International Conference on Social Computing and Networking and 11th IEEE International Conference on Sustainable Computing and Communications, ISPA/BDCloud/SocialCom/SustainCom 2021
Country/Territory	United States
City	New York
Period	30/09/21 → 3/10/21

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 7 Affordable and Clean Energy

Keywords

Model-Driven Engineering
Network Protocol
Requirement Modeling
Safety and Security Requirements

Access to Document

10.1109/ISPA-BDCloud-SocialCom-SustainCom52081.2021.00037

Cite this

Liu, Z., Wang, Q., Li, Y., & Zhao, Y. (2021). CMSS: Collaborative Modeling of Safety and Security Requirements for Network Protocols. In 19th IEEE International Symposium on Parallel and Distributed Processing with Applications, 11th IEEE International Conference on Big Data and Cloud Computing, 14th IEEE International Conference on Social Computing and Networking and 11th IEEE International Conference on Sustainable Computing and Communications, ISPA/BDCloud/SocialCom/SustainCom 2021 (pp. 185-192). (19th IEEE International Symposium on Parallel and Distributed Processing with Applications, 11th IEEE International Conference on Big Data and Cloud Computing, 14th IEEE International Conference on Social Computing and Networking and 11th IEEE International Conference on Sustainable Computing and Communications, ISPA/BDCloud/SocialCom/SustainCom 2021). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ISPA-BDCloud-SocialCom-SustainCom52081.2021.00037

Liu, Zhihao ; Wang, Qiang ; Li, Yongjian et al. / CMSS : Collaborative Modeling of Safety and Security Requirements for Network Protocols. 19th IEEE International Symposium on Parallel and Distributed Processing with Applications, 11th IEEE International Conference on Big Data and Cloud Computing, 14th IEEE International Conference on Social Computing and Networking and 11th IEEE International Conference on Sustainable Computing and Communications, ISPA/BDCloud/SocialCom/SustainCom 2021. Institute of Electrical and Electronics Engineers Inc., 2021. pp. 185-192 (19th IEEE International Symposium on Parallel and Distributed Processing with Applications, 11th IEEE International Conference on Big Data and Cloud Computing, 14th IEEE International Conference on Social Computing and Networking and 11th IEEE International Conference on Sustainable Computing and Communications, ISPA/BDCloud/SocialCom/SustainCom 2021).

@inproceedings{41f634e600b74d06bc9a54d9a1c8ed21,

title = "CMSS: Collaborative Modeling of Safety and Security Requirements for Network Protocols",

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.",

keywords = "Model-Driven Engineering, Network Protocol, Requirement Modeling, Safety and Security Requirements",

author = "Zhihao Liu and Qiang Wang and Yongjian Li and Yongxin Zhao",

note = "Publisher Copyright: {\textcopyright} 2021 IEEE.; 19th IEEE International Symposium on Parallel and Distributed Processing with Applications, 11th IEEE International Conference on Big Data and Cloud Computing, 14th IEEE International Conference on Social Computing and Networking and 11th IEEE International Conference on Sustainable Computing and Communications, ISPA/BDCloud/SocialCom/SustainCom 2021 ; Conference date: 30-09-2021 Through 03-10-2021",

year = "2021",

doi = "10.1109/ISPA-BDCloud-SocialCom-SustainCom52081.2021.00037",

language = "英语",

series = "19th IEEE International Symposium on Parallel and Distributed Processing with Applications, 11th IEEE International Conference on Big Data and Cloud Computing, 14th IEEE International Conference on Social Computing and Networking and 11th IEEE International Conference on Sustainable Computing and Communications, ISPA/BDCloud/SocialCom/SustainCom 2021",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "185--192",

booktitle = "19th IEEE International Symposium on Parallel and Distributed Processing with Applications, 11th IEEE International Conference on Big Data and Cloud Computing, 14th IEEE International Conference on Social Computing and Networking and 11th IEEE International Conference on Sustainable Computing and Communications, ISPA/BDCloud/SocialCom/SustainCom 2021",

address = "美国",

}

Liu, Z, Wang, Q, Li, Y & Zhao, Y 2021, CMSS: Collaborative Modeling of Safety and Security Requirements for Network Protocols. in 19th IEEE International Symposium on Parallel and Distributed Processing with Applications, 11th IEEE International Conference on Big Data and Cloud Computing, 14th IEEE International Conference on Social Computing and Networking and 11th IEEE International Conference on Sustainable Computing and Communications, ISPA/BDCloud/SocialCom/SustainCom 2021. 19th IEEE International Symposium on Parallel and Distributed Processing with Applications, 11th IEEE International Conference on Big Data and Cloud Computing, 14th IEEE International Conference on Social Computing and Networking and 11th IEEE International Conference on Sustainable Computing and Communications, ISPA/BDCloud/SocialCom/SustainCom 2021, Institute of Electrical and Electronics Engineers Inc., pp. 185-192, 19th IEEE International Symposium on Parallel and Distributed Processing with Applications, 11th IEEE International Conference on Big Data and Cloud Computing, 14th IEEE International Conference on Social Computing and Networking and 11th IEEE International Conference on Sustainable Computing and Communications, ISPA/BDCloud/SocialCom/SustainCom 2021, New York, United States, 30/09/21. https://doi.org/10.1109/ISPA-BDCloud-SocialCom-SustainCom52081.2021.00037

CMSS: Collaborative Modeling of Safety and Security Requirements for Network Protocols. / Liu, Zhihao; Wang, Qiang; Li, Yongjian et al.
19th IEEE International Symposium on Parallel and Distributed Processing with Applications, 11th IEEE International Conference on Big Data and Cloud Computing, 14th IEEE International Conference on Social Computing and Networking and 11th IEEE International Conference on Sustainable Computing and Communications, ISPA/BDCloud/SocialCom/SustainCom 2021. Institute of Electrical and Electronics Engineers Inc., 2021. p. 185-192 (19th IEEE International Symposium on Parallel and Distributed Processing with Applications, 11th IEEE International Conference on Big Data and Cloud Computing, 14th IEEE International Conference on Social Computing and Networking and 11th IEEE International Conference on Sustainable Computing and Communications, ISPA/BDCloud/SocialCom/SustainCom 2021).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - CMSS

T2 - 19th IEEE International Symposium on Parallel and Distributed Processing with Applications, 11th IEEE International Conference on Big Data and Cloud Computing, 14th IEEE International Conference on Social Computing and Networking and 11th IEEE International Conference on Sustainable Computing and Communications, ISPA/BDCloud/SocialCom/SustainCom 2021

AU - Liu, Zhihao

AU - Wang, Qiang

AU - Li, Yongjian

AU - Zhao, Yongxin

PY - 2021

Y1 - 2021

N2 - 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.

AB - 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.

KW - Model-Driven Engineering

KW - Network Protocol

KW - Requirement Modeling

KW - Safety and Security Requirements

UR - https://www.scopus.com/pages/publications/85124164674

U2 - 10.1109/ISPA-BDCloud-SocialCom-SustainCom52081.2021.00037

DO - 10.1109/ISPA-BDCloud-SocialCom-SustainCom52081.2021.00037

M3 - 会议稿件

AN - SCOPUS:85124164674

T3 - 19th IEEE International Symposium on Parallel and Distributed Processing with Applications, 11th IEEE International Conference on Big Data and Cloud Computing, 14th IEEE International Conference on Social Computing and Networking and 11th IEEE International Conference on Sustainable Computing and Communications, ISPA/BDCloud/SocialCom/SustainCom 2021

SP - 185

EP - 192

BT - 19th IEEE International Symposium on Parallel and Distributed Processing with Applications, 11th IEEE International Conference on Big Data and Cloud Computing, 14th IEEE International Conference on Social Computing and Networking and 11th IEEE International Conference on Sustainable Computing and Communications, ISPA/BDCloud/SocialCom/SustainCom 2021

PB - Institute of Electrical and Electronics Engineers Inc.

Y2 - 30 September 2021 through 3 October 2021

ER -

Liu Z, Wang Q, Li Y, Zhao Y. CMSS: Collaborative Modeling of Safety and Security Requirements for Network Protocols. In 19th IEEE International Symposium on Parallel and Distributed Processing with Applications, 11th IEEE International Conference on Big Data and Cloud Computing, 14th IEEE International Conference on Social Computing and Networking and 11th IEEE International Conference on Sustainable Computing and Communications, ISPA/BDCloud/SocialCom/SustainCom 2021. Institute of Electrical and Electronics Engineers Inc. 2021. p. 185-192. (19th IEEE International Symposium on Parallel and Distributed Processing with Applications, 11th IEEE International Conference on Big Data and Cloud Computing, 14th IEEE International Conference on Social Computing and Networking and 11th IEEE International Conference on Sustainable Computing and Communications, ISPA/BDCloud/SocialCom/SustainCom 2021). doi: 10.1109/ISPA-BDCloud-SocialCom-SustainCom52081.2021.00037

CMSS: Collaborative Modeling of Safety and Security Requirements for Network Protocols

Abstract

Publication series

Conference

UN SDGs

Keywords

Access to Document

Other files and links

Fingerprint

Cite this