Multi-language oriented automatic realization method for cryptographic protocols
Technical Report|更新时间:2024-06-05
|
Multi-language oriented automatic realization method for cryptographic protocols
Journal on CommunicationsVol. 33, Issue 9, Pages: 152-159(2012)
作者机构:
1. 西安电子科技大学 计算机学院,陕西 西安710071
2. 南京大学 计算机软件新技术国家重点实验室,江苏 南京210032
作者简介:
基金信息:
The Major National Science and Technology Program(2011ZX03005-002);The National Natural Science Foundation of China(U1135002,61072066);The Fundamental Research Funds for the Central Universities(JY10000903001);The Fundamental Research Funds for the Central Universities(JY10000901034)