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

Livinus Obiora Nweke, Goitom K. Weldehawaryat and Stephen D. Wolthusen

International Journal of Critical Infrastructure Protection, 2022, vol. 36, issue C

Abstract: The article [8] described the derivation and adaptation of the applied π-calculus to enable the integration of an explicit adversarial action model. In this, we had relied on earlier works by the authors as well as a contribution by Lanotte et al. [4,5]. Several additional and related contributions to the applied π-calculus may, however, also be noted and are included in this supplement, specifically the family of models exemplified by Milner [7] and Hennessy and Regan [3].

Date: 2022
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S1874548221000871
Full text for ScienceDirect subscribers only

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:eee:ijocip:v:36:y:2022:i:c:s1874548221000871

DOI: 10.1016/j.ijcip.2021.100506

Access Statistics for this article

International Journal of Critical Infrastructure Protection is currently edited by Leon Strous

More articles in International Journal of Critical Infrastructure Protection from Elsevier
Bibliographic data for series maintained by Catherine Liu ().