Research Projects

结合计算观点与符号观点的安全协议安全性分析方法研究

Release time::2019-04-17|Hits:

Affiliation of Participant(s):数学学院

Leading Scientist:Jing Qin,Jing Qin

Supported by:国家基金委

Nature of Project:纵向

Project level:National

Project Participants:Jing Qin,Jing Qin

Project Number:kyxm-12936

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

Project Approval Number:60743006