Metodología para el análisis formal de los protocolos de seguridad

• Autores: Juan José Ortega Daza, Javier López , José María Troya Linero
• Localización: IV Jornadas de Ingeniería Telemática: JITEL 2003, Gran Canaria, 15 al 17 de septiembre de 2003 / coord. por Elsa María Macías López , Álvaro Suárez Sarmiento , Carmen Nieves Ojeda Guerra, 2003, ISBN 84-96131-38-6, págs. 315-322
• Idioma: español
• Texto completo no disponible (Saber más ...)