Yangfan Zhou, Xinyu Chen, Michael R. Lyu, Jiangchuan Liu. Online Protocol Verification in Wireless Sensor Networks via Non-intrusive Behavior Profiling. In Xinbing Wang, Rong Zheng, Tao Jing, Kai Xing, editors, Wireless Algorithms, Systems, and Applications - 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012. Proceedings. Volume 7405 of Lecture Notes in Computer Science, pages 100-111, Springer, 2012. [doi]
@inproceedings{ZhouCLL12,
title = {Online Protocol Verification in Wireless Sensor Networks via Non-intrusive Behavior Profiling},
author = {Yangfan Zhou and Xinyu Chen and Michael R. Lyu and Jiangchuan Liu},
year = {2012},
doi = {10.1007/978-3-642-31869-6_8},
url = {http://dx.doi.org/10.1007/978-3-642-31869-6_8},
researchr = {https://researchr.org/publication/ZhouCLL12},
cites = {0},
citedby = {0},
pages = {100-111},
booktitle = {Wireless Algorithms, Systems, and Applications - 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012. Proceedings},
editor = {Xinbing Wang and Rong Zheng and Tao Jing and Kai Xing},
volume = {7405},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-31868-9},
}