高可信软件技术教育部重点实验室(北京大学);
北京;
100871;
北京大学;
信息科学与技术学院;
软件研究所;
北京;
100871;
高可信软件技术教育部重点实验室(北京大学);
北京;
100871;
北京大学;
信息科学与技术学院;
软件研究所;
北京;
100871;
高可信软件技术教育部重点实验室(北京大学);
北京;
100871;
北京大学;
信息科学与技术学院;
软件研究所;
北京;
100871;
高可信软件技术教育部重点实验室(北京大学);
北京;
100871;
北京大学;
信息科学与技术学院;
软件研究所;
北京;
100871;
高可信软件技术教育部重点实验室(北京大学);
北京;
100871;
北京大学;
信息科学与技术学院;
软件研究所;
北京;
100871;
高可信软件技术教育部重点实验室(北京大学);
北京;
100871;
北京大学;
信息科学与技术学院;
软件研究所;
北京;
100871;
高可信软件; 软件可信性评估; 软件可信证据; 软件可信证据收集; 可信计算; TPM(trusted platform module);