Compiling and Verifying Security Protocols
Florent Jacquemard, Michaël Rusinowitch, and Laurent Vigneron
Proceedings of the 7th international conference on Logic for programming and automated reasoning (LPAR), pages 131–160, Springer-Verlag, 2000., 2000
Recommended citation: Florent Jacquemard, Michaël Rusinowitch, and Laurent Vigneron, "Compiling and Verifying Security Protocols" In Proceedings of the 7th international conference on Logic for programming and automated reasoning (LPAR), pages 131–160, Springer-Verlag, 2000.