A Novel Vulnerability Detection Method for ZigBee MAC Layer. - Hui Li; Weishi Zhang; Weifu Zhou; Bo Su (DASC, 2014)