A framework for formal analysis and simulative evaluation of security attacks in wireless sensor networks-Reference-Cited by-同舟云学术

A framework for formal analysis and simulative evaluation of security attacks in wireless sensor networks

Published:2021-08-06 Issue:3 Volume:17 Page:249-263
ISSN:2263-8733
Container-title:Journal of Computer Virology and Hacking Techniques
language:en
Short-container-title:J Comput Virol Hack Tech

Author:

Bernardeschi Cinzia^ORCID,Dini Gianluca^ORCID,Palmieri Maurizio^ORCID,Racciatti Francesco^ORCID

Funder

Università di Pisa

Publisher

Springer Science and Business Media LLC

Subject

Computational Theory and Mathematics,Hardware and Architecture,Software,Computer Science (miscellaneous)

Link

https://link.springer.com/content/pdf/10.1007/s11416-021-00392-0.pdf

Reference24 articles.

1. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)

2. Boulis, A., Pediaditakis, D.: Castalia - A simulator for Wireless Sensor Networks and Body Area Networks, version 3.3, User’s Manual (2013). https://github.com/boulis/Castalia/blob/master/ Castalia

3. Behrmann, G., David, A., Larsen, K.G.: A Tutorial on UPPAAL 4.0 (2006). http://www.it.uu.se/research/group/darts/papers/texts/new-tutorial.pdf

4. Bernardeschi, C., Masci, P., Pfeifer, H.: Early prototyping of wireless sensor network algorithms in PVS. In: Computer Safety, Reliability, and Security, 27th International Conference, pp. 346–359 (2008)

5. Bernardeschi, C., Masci, P., Pfeifer, H.: Analysis of wireless sensor network protocols in dynamic scenarios. In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, pp. 105–119 (2009)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Network Simulator-Centric Compositional Testing;Lecture Notes in Computer Science;2024

2. Design and Network Security Evaluation of Campus One Card Intelligent System;2023 International Conference on Network, Multimedia and Information Technology (NMITCON);2023-09-01

3. P‐DNN: Parallel DNN based IDS framework for the detection of IoT vulnerabilities;SECURITY AND PRIVACY;2023-06-22