Analysis of Security Attacks in Wireless Sensor Networks: From UPPAAL to Castalia

Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, Francesco Racciatti

Abstract

Wireless Sensor Networks (WSNs) are particularly prone to security attacks. However, it is well-known that perfect security is not achievable. Therefore, it is important to identify threats and evaluate their severity, for prioritizing the security countermeasures to be adopted, even since design time. In this work, we propose an approach that binds formal methods and network simulation for assessing the effects of security attacks on WSN applications from design time, starting from the abstract model of the system. Formal methods make it possible to build abstract system models and state properties of general validity, but cannot provide any concrete measurement regarding the network and the application. On the other hand, network simulators can provide precise and realistic information about simulated scenarios only. As a proof of concept, we design and prototype an application-level communication protocol, which is simulated both on attack free and attack scenarios. First, the protocol’s formal properties are specified and proved via UPPAAL. Then, the resulting UPPAAL model is used to automatically generate a network model for the WSN simulator Castalia. Finally, the network model is simulated against attack free and attack scenarios, for gathering realistic information about the protocol behavior and performance.

Download


Paper Citation


in Harvard Style

Bernardeschi C., Dini G., Palmieri M. and Racciatti F. (2020). Analysis of Security Attacks in Wireless Sensor Networks: From UPPAAL to Castalia.In Proceedings of the 6th International Conference on Information Systems Security and Privacy - Volume 1: ForSE, ISBN 978-989-758-399-5, pages 815-824. DOI: 10.5220/0009380508150824


in Bibtex Style

@conference{forse20,
author={Cinzia Bernardeschi and Gianluca Dini and Maurizio Palmieri and Francesco Racciatti},
title={Analysis of Security Attacks in Wireless Sensor Networks: From UPPAAL to Castalia},
booktitle={Proceedings of the 6th International Conference on Information Systems Security and Privacy - Volume 1: ForSE,},
year={2020},
pages={815-824},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0009380508150824},
isbn={978-989-758-399-5},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 6th International Conference on Information Systems Security and Privacy - Volume 1: ForSE,
TI - Analysis of Security Attacks in Wireless Sensor Networks: From UPPAAL to Castalia
SN - 978-989-758-399-5
AU - Bernardeschi C.
AU - Dini G.
AU - Palmieri M.
AU - Racciatti F.
PY - 2020
SP - 815
EP - 824
DO - 10.5220/0009380508150824