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

Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, Francesco Racciatti. A framework for formal analysis and simulative evaluation of security attacks in wireless sensor networks. Journal in Computer Virology, 17(3):249-263, 2021. [doi]

No reviews for this publication, yet.