Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols

• Autores: Marco Bozzano, Giorgio Delzanno
• Localización: Journal of symbolic computation, ISSN 0747-7171, Vol. 38, Nº 5, 2004, págs. 1375-1415
• Idioma: inglés
• Texto completo no disponible (Saber más ...)