Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj. Reasoning about security in sensor networks. Concurrency - Practice and Experience, 27(15):3816-3841, 2015. [doi]
@article{PeraltaMB15, title = {Reasoning about security in sensor networks}, author = {Manuel Peralta and Supratik Mukhopadhyay and Ramesh Bharadwaj}, year = {2015}, doi = {10.1002/cpe.3433}, url = {http://dx.doi.org/10.1002/cpe.3433}, researchr = {https://researchr.org/publication/PeraltaMB15}, cites = {0}, citedby = {0}, journal = {Concurrency - Practice and Experience}, volume = {27}, number = {15}, pages = {3816-3841}, }