Hits:

Affiliation of Participant(s):网络与信息安全学院

Leading Scientist:David Fu

Status:在研

Classification of Project:国家自然科学基金

Sub-Class of Project:青年项目

Nature of Project:面向多重协议组合实现的形式化安全检测理论和方法研究

Project Number:BJ19016340002

Date of Project Approval:2017-01-01

Scheduled completion time:2019-12-31

Project Approval Number:61602359