北京大学信息科学技术学院,北京 100871;
北京大学高可信软件技术教育部重点实验室,北京 100871;
北京大学网络和软件安全保障教育部重点实验室,北京 100871;
北京大学信息科学技术学院,北京 100871;
北京大学高可信软件技术教育部重点实验室,北京 100871;
北京大学网络和软件安全保障教育部重点实验室,北京 100871;
北京大学信息科学技术学院,北京 100871;
北京大学高可信软件技术教育部重点实验室,北京 100871;
北京大学网络和软件安全保障教育部重点实验室,北京 100871;
卡耐基梅隆大学计算机学院,匹兹堡 15213;