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
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.
Artículos:
Rendimiento de las comunicaciones ópticas móviles con movilidad del usuario y múltiples fuentes de luz.
Artículos:
Enfoque de mapeo basado en esquemas para la transformación de datos con el fin de enriquecer la Web Semántica
Artículos:
Control Multibucle Analítico para Sistemas Multivariables con Retardos en el Tiempo
Artículos:
Redes multiagentes heterogéneas y competitivas: Consenso de grupo de parejas con retardos de comunicación o de entrada de tiempo.
Artículos:
Convergencia del algoritmo de alta precisión para resolver el problema de Dirichlet de la ecuación de Helmholtz modificada.
Artículos:
Comportamiento del aguacate Hass liofilizado durante la operación de rehidratación
Artículos:
Caracterización estructural de la materia orgánica de tres suelos provenientes del municipio de Aquitania-Boyacá, Colombia
Informes y Reportes:
Técnicas de recuperación de suelos contaminados
Artículos:
Una revisión de la etiopatogenia y características clínicas e histopatológicas del melanoma mucoso oral.