Biblioteca122.294 documentos en línea

Artículo

Inductive Method for Evaluating RFID Security ProtocolsMétodo inductivo para evaluar los protocolos de seguridad RFID

Resumen

La verificación del protocolo de autenticación es un problema difícil. El problema de la explosión del espacio de estados siempre ha sido inevitable en el campo de la verificación. Utilizando características inductivas, combinamos la inducción matemática y la tecnología de detección de modelos para resolver el problema de la explosión del espacio de estados al verificar el protocolo OSK y el protocolo VOSK del sistema RFID. En este documento, se estudian y analizan la seguridad y privacidad de los protocolos en los sistemas RFID para verificar la efectividad de la combinación de la inducción matemática y la detección de modelos. Diseñamos un experimento de seguridad (r,s,t) basado en experimentos de privacidad en el sistema RFID de acuerdo con el estándar de seguridad IND-CPA en criptografía, utilizando la inducción matemática para validar el protocolo OSK y el protocolo VOSK. Finalmente, se presentan las siguientes conclusiones. El protocolo OSK no puede resistir ataques de denegación de servicio o ataques de repetición. El protocolo VOSK no puede resistir ataques de deneg

  • Tipo de documento:
  • Formato:pdf
  • Idioma:Inglés
  • Tamaño: Kb

Cómo citar el documento

Esta es una versión de prueba de citación de documentos de la Biblioteca Virtual Pro. Puede contener errores. Lo invitamos a consultar los manuales de citación de las respectivas fuentes.

Este contenido no est� disponible para su tipo de suscripci�n

Información del documento