Compiling and Verifying Security Protocols
Résumé
Le papier décrit une procédure de compilation et de preuve de protocoles de sécurité.
Communication Dans Un Congrès
Année : 2000
Publications Loria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00099161
Soumis le : mardi 26 septembre 2006-08:51:27
Dernière modification le : jeudi 15 février 2024-03:32:01
Dates et versions
Identifiants
- HAL Id : inria-00099161 , version 1
Citer
Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron. Compiling and Verifying Security Protocols. International Conference on Logic Programming & Automated Reasoning - LPAR'2000, 2000, Reunion Island, France, pp.131-160. ⟨inria-00099161⟩
Collections
67
Consultations
0
Téléchargements