Operating system auditing and monitoring

由 WU YONGZHENG
出版 2012

Automatically partition software into least privilege components using dynamic data dependency analysis

由 WU, Yongzheng, SUN, Jun, LIU, Yang, DONG, Jin Song
出版 2013

Towards model checking android applications

由 Bai, Guangdong, Ye, Quanqi, Wu, Yongzheng, Botha, Heila, Sun, Jun, Liu, Yang, Dong, Jin Song, Visser, Willem
出版 2020

Towards model checking Android applications

由 BAI, Guangdong, YE, Quanqi, WU, Yongzheng, BOTHA, Heila, SUN, Jun, LIU, Yang, DONG, Jin Song, VISSER, Willem
出版 2018