Items where Author / Artist / Editor is "Cheng, Maggie"
|See full list of headings|
Cheng, Xiaochun and Ma, Xiaoqi and Huang, Scott C.-H. and Cheng, Maggie (2010) Mechanical verification of cryptographic protocols. Network Security . pp. 97-115. ISSN 1353-4858
Cheng, Xiaochun and Wang, Lusheng and Cheng, Maggie (2004) Topology control of ad hoc wireless networks for energy efficiency. IEEE Transactions On Computers, 53 (12). pp. 1629-1635. ISSN 0018-9340