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]

Authors

Cinzia Bernardeschi

This author has not been identified. Look up 'Cinzia Bernardeschi' in Google

Gianluca Dini

This author has not been identified. Look up 'Gianluca Dini' in Google

Maurizio Palmieri

This author has not been identified. Look up 'Maurizio Palmieri' in Google

Francesco Racciatti

This author has not been identified. Look up 'Francesco Racciatti' in Google