The Study on Formal Verification of OS Kernel
Zhang Yu,
Dong Yunwei,
Zhang Zhongqiu,
Huo Hong,
Zhang Fan
Two Noise Addition Methods For Privacy-Preserving Data Mining
Likun Liu,
liang Hu,
Di Wang,
Yanmei Huo,
Lei Yang,
Kexin Yang
Research on Trustworthy Distributed System
LUO Chen,
HE Ming,
LIU Xiao-Ming,
LI Yuan