北京大学,信息科学技术学院,北京,100871;
高可信软件技术教育部重点实验室,北京,100871;
北京大学ACOM金融信息化研究中心,北京,100080;
北京大学,信息科学技术学院,北京,100871;
高可信软件技术教育部重点实验室,北京,100871;
北京大学ACOM金融信息化研究中心,北京,100080;
北京大学,信息科学技术学院,北京,100871;
高可信软件技术教育部重点实验室,北京,100871;
北京大学ACOM金融信息化研究中心,北京,100080北京大学,软件与微电子学院,北京,102600;
北京大学,信息科学技术学院,北京,100871;
高可信软件技术教育部重点实验室,北京,100871;
北京大学ACOM金融信息化研究中心,北京,100080;
北京大学,软件与微电子学院,北京,102600;