Threat Modelling of Cyber-Physical Systems Using an Applied π-Calculus

Livinus Obiora Nweke, Goitom K. Weldehawaryat, Stephen D. Wolthusen. Threat Modelling of Cyber-Physical Systems Using an Applied π-Calculus. IJCIP, 35:100466, 2021. [doi]

Abstract

Abstract is missing.