SET

Nodos de los diagramas

• Inicio

• Comprador

• ON/OFF

• Autoridad de Certificados

• Emisor

• Receptor

• Pasarela de Pago

• Vendedor

• Solicitud de Cuenta

• Solicitud de Cuenta

• Cuenta = Tarjeta + Certificado_Comnprador

• Cuenta

• Cuenta

• Solicitud Cuenta Comercial

• Solicitud Cuenta Comercial

• Cuenta_ Comercial = GeneraCuenta();

• Cuenta Comercial

• Cuenta_ Comercial

• Solicitud Certificado_Pasarela

• Solicitud Certificado_Pasarela

• Certificado_ Pasarela = CopiaCertificado():

• Certificado_ Pasarela

• Certificado_ Pasarela

• Registro AC

• Registro AC

• CertificadoAC = GeneraAC();

• CertificadoAC

• CertificadoAC

• CertificadoAC

• Termina Selección de Productos

• Solicitud_Inicio = Cuenta.Tarjeta.Calse + Id_compra + nonce

• Solicitud_Inicio

• Solicitud_Inicio

• Respuesta_Inicio = EURv(H(Solicitud_Inicio.nonce + nonce + Solicitud_Inicio.Id_compra));

• Respuesta_Inicio = Respuesta_Inicio + CertificadoVendedor + Certificado_Pasarela;

• Respuesta_ inicio

• Respuesta_ Inicio

• VerificaCertificados(Respuesta_Inicio)

• OI = creaOI(Id_compra); PI = creaPI(Id_compra);

• Ks = GeneraClaveSimetrica(); FD = EKRc[H(H(OI)+H(PI))];                OIMD = H(OI);               PIMD = H(PI); IRAD = EKs[PI + FD + OIMD]; KUipp = Certificado_Pasarela. clave_publica;            SobreD = EKUipp[Ks];                IRAD = IRAD + SobreD; IROC = OI + FD + PIMD;

• Solicitud_Compra = IRAD + IROC + CertificadoComprador;

• Solicitud_ Compra

• Solicitud_ Compra

• Vefica(Solicitud_Compra.CertificadoComprador);

• OI = Solicitud_Compra.IROC.OI; PIMD = Solicitud_Compra.IROC.PIMD;  KUc = Soliciud_Compra.CertificadoComprador;   FirmaDual = H(H(IROC.OI) + IROC.PIMD);    

• FirmaDual == DKUc[IROC.FD]

• BloqueRespuesta = EKRv[Solicitud_Inicio.Id_compra]; Repuesta_Compra = BloqueRespuesta + CertificadoVendedor;

• Solicitud_ Autoricacion

•       Ks = GeneraClaveSimetrica();          KUipp = Certificado_Pasarela. clave_publica; id = Solicitud_Inicio.Id_Compra; CertificadoComprador = Solicitud_Compra.CertificadoComprador; BloqueAutorizacion = EKs[EKRv[H(id)]] ; SobreDigital = EKUipp[Ks]; IRAD = Solicitud_Inicio.IRAD; IRAU = BloqueAutorizacion + SobreDigital; Certificados  = CertificadoComprado + CertificadoVendedor + CertificadoPasarela; Solicitud_Autorizacion = IRAD + IRAU + Certifiados;

• Solicitud_Autorizacion

• VerificaCertificados(Solicitud_Inicio.Certificados);

• SobreIRAU = Solicitud_Autorizacion.IRAU.SobreDigital; Ks = DKRpp[SobreIRAU]: BA = Solicitud_Autoricacion.IRAU.BloqueAutorizacion; BA = DKs[BA]; FirmaVendedor = DKUv[BA];

• FirmaVendedor == H(id)

• SobreIRAD = Solicitud_Autorizacion.IRAD.SobreDigital; Ks = DKRpp[SobreDigital]; IRAD = DKs[Solicitud_Autorizacion.IRAD]; ID = IRAD.PI.Id_compra FD = IRAD.FD;

• VerificaFD(FD)

• ID == id

• Autorizacion

• Autorizacion

• Saldo_Suficiente(Autorizacion.CertificadoComprador)

• Autorizacion = CertificadoComprador

• Resultado_ Autorizcion = True;

• Resutlado_ Autorizacion = False;

• Resutlado_ Autorizacion;

• Resultado_ Autorizacion

• Ks = GeneraKs(); BloqueAutorizacion = EKs[EKRpp[Resultado_Autoriacion]]; SD = EKuv[]; IRAU = BloqueAutorizacion + SD; IRBC = IRAU; Respuesta_Autorizacion = IRAU + IRBC + CertificadoPasarela;

• Respuesta_ Compra

• Respuesta_ Compra

• CV = Respuesta_Compra.CertifiadoVendedor; Bloque = Respuesta_Compra.BloqueRespuesta;  

• VerificaRC(CV, Bloque);

• Actualiza Base de Datos

• Respuesta_ Autorizacion

• Proporciona Productos o Servicios

• Respuesta_Autorizacion

• BonoCaputra = Respuesta_Autorizacion.IRBC Certificados = CertificadoVendedor + CertificadoPasarela, Solicitud_Captura = EKRv[Cantidad + Id_compra] + BonoCaputra + Certificados; 

• Solcitud_ Caputra

• Solicitud_Caputra

• Verifica(Solicitud_Caputra)

• Solicitud_Liquidacion = generaSL(SolicitudCaputra);

• Solicitud_Liquidacion

• Solicitud_ Liquidacion

• Transferencia = (Cuenta.Tarjeta, Cantidad);

• Transferencia

• Transferencia

• Operacion(Transferencia);

• Respuesta_Captura = EKipp[BloqueRespuesta] + CertificadoPasarela

• Respuesta_ Captura

• Respuesta_ Caputra

• AlmacenaRespuesta(Respuesta_Captura);