@article{4a2ed3bf6f804a0ab7971826c4e6bcc8,
title = "Designing self-destructing wireless sensors with security and performance assurance",
keywords = "Assurance, Model checking, Self-destructing, Wireless sensors, Assurance, Model checking, Self-destructing, Wireless sensors",
author = "Yu Li and Xiaotian Wang and Kim, {Dae Wook} and Junjie Zhang and Rui Dai",
note = "Publisher Copyright: {\textcopyright} 2018 Elsevier B.V.",
year = "2018",
month = aug,
day = "4",
doi = "10.1016/j.comnet.2018.05.013",
language = "English",
volume = "141",
pages = "44--56",
journal = "Computer Networks",
issn = "1389-1286",
}