Biblioteca122.739 documentos en línea

Artículo

Formal Modeling and Analysis of Fairness Characterization of E-Commerce ProtocolsModelado formal y análisis de la caracterización de equidad de protocolos de comercio electrónico.

Resumen

En el pasado, la verificación de equidad en los intercambios entre los comerciantes en el comercio electrónico se basaba en una suposición común, la llamada propiedad de no repudio, que dice que si las partes involucradas pueden negar que han recibido o enviado alguna información, entonces el protocolo de intercambio es injusto. Por lo tanto, la propiedad de no repudio no es una condición suficiente. En este documento, formulamos una nueva noción de verificación de equidad basada en el modelo de espacio de hebras y proponemos un método para la verificación de equidad, que potencialmente puede determinar si las pruebas han sido falsificadas en las transacciones. Primero presentamos un enfoque formal innovador que no depende del no repudio, y luego establecemos un modelo relativo de comerciante y ampliamos el modelo de espacio de hebras de acuerdo con los comportamientos de los comerciantes en el comercio electrónico. Presentamos un estudio de caso para demostrar la efectividad de nuestro método de verificación.

  • 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