Resumen

Dirigido al problema del análisis de equidad para protocolos de no repudio multiparte, se presenta un nuevo método de análisis formal basado en el espacio de hebras mejorado. Basado en la teoría del espacio de hebras, se añade la operación de firma; se redefinen el conjunto de términos, la relación de sub-términos y el conjunto de trazas de penetrador, y se extiende la suposición de encriptación libre en el nuevo método. Se da la definición formal de equidad en protocolos de no repudio multiparte y se presenta la guía para verificarlo basado en el espacio de hebras mejorado. Finalmente, se verifica la equidad de protocolos de no repudio multiparte con un ejemplo del protocolo de Kremer-Markowitch, lo que indica que el nuevo método es adecuado para analizar la equidad de protocolos de no repudio multiparte.

• Materias:Sistemas no lineales Dinámica no lineal Red de tráfico dinámico Algoritmo alométrico Sistema conmutado
• Subjects:Nonlinear systems Nonlinear dynamics Dynamic traffic network Allometric algorithm Switched system
• Palabras claves:Equidad; Análisis; Multiparte; Protocolos de no repudio; Espacio de hebra mejorado; Operación de firma
• Keywords:Fairness; Analysis; Multiparty; Nonrepudiation protocols; Improved strand space; Signature operation