软件系统的可信降密述评 (Review of Trust Declassification for Software System)

Hao Zhu, Jianping Chen. 软件系统的可信降密述评 (Review of Trust Declassification for Software System). 计算机科学, 45(6A):36-40, 2018. [doi]

Abstract

Abstract is missing.