Research Projects
结合计算观点与符号观点的安全协议安全性分析方法研究
Release Time:2019-04-17
-
Institution:
数学学院
-
Leading Scientist:
Jing Qin,Jing Qin
-
Supported by:
国家基金委
-
Nature of Project:
纵向
-
Project Level:
National
-
Project Participants:
Jing Qin,Jing Qin
-
Project Number:
kyxm-12936
-
Project Approval Number:
60743006
-
Date of Project Approval:
2008-01-01
-
Scheduled Completion Time:
2008-12-31
-
Date of Project Completion:
2008-12-31
-
Date of Project Initiation:
2008-01-01