所属单位：Peking University
负责人姓名：Hong Mei
项目状态：Completed
项目来源单位：Research on the Foundational Theory, Method, and Technologies of Trusted Software
项目性质：the National Science Fund for Creative Research Groups from National Natural Science Foundation
项目编号：60821003
立项时间：2009-01-01
结项日期：2011-12-31
项目批准号：60821003
资助额度(万元)：0.0