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