Shirui Ji Qingqi Pei Yong Zeng 0002 Chao Yang Shu-po Bu An Automated Black-box Testing Approach for WSN Security Protocols. 693-697 2011 CIS https://doi.org/10.1109/CIS.2011.158 https://doi.ieeecomputersociety.org/10.1109/CIS.2011.158 conf/cis/2011 db/conf/cis/cis2011.html#JiPZYB11