北京大学信息科学技术学院 北京 100871;
高可信软件技术教育部重点实验室 北京 100871;
北京大学信息科学技术学院 北京 100871;
高可信软件技术教育部重点实验室 北京 100871;
北京大学信息科学技术学院 北京 100871;
高可信软件技术教育部重点实验室 北京 100871;
北京大学信息科学技术学院 北京 100871;
高可信软件技术教育部重点实验室 北京 100871;
北京大学信息科学技术学院 北京 100871;
高可信软件技术教育部重点实验室 北京 100871;
神州数码信息系统有限公司 北京 100085;