Reasoning about security in sensor networks

Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj. Reasoning about security in sensor networks. Concurrency - Practice and Experience, 27(15):3816-3841, 2015. [doi]

Abstract

Abstract is missing.