New Results - Security protocol verification
Veronique Cortier,Michael Rusinowitch,Mathieu Turuani,Bogdan Warinschi,Eugen Zalinescu,Najah Chridi, Judson Santos Santiago,Laurent Vigneron,Yohan Boichut,Pierrecyrille Heam,Nikolai Kosmatov,Olga Kouchnarenko mag(2007)
AI 理解论文
溯源树
样例