Ejemplos de Especificaciones Formales de Protocolos

• PROTOCOLO BIT ALTERNANTE ESPECIFICADO EN SDL CON PRAGMADEV STUDIO
  (FICHEROS FUENTES )
• FUZZY LOCATION SOFTWARE AGENT PROTOCOL (FLSAP) ESPECIFICADO EN SDL CON PRAGMADEV STUDIO
  (FICHEROS FUENTES )
  “MULTI-AGENT LOCATION SYSTEM IN WIRELESS NETWORKS”.
• PROTOCOLO BIT ALTERNANTE, ESPECIFICADO EN LOTOS (FICHEROS FUENTES)
• PROTOCOLO DE SEGURIDAD DE NEEDHMAN-SCHROEDER, ESPECIFICADOEN PROLOG (FICHEROS FUENTES)
• ESTÁNDARES IEEE

---

Código Fuente Software Comunicaciones en C, C++ (Visual Studio):

EJEMPLOS DE PROCESOS E HILOS EN SDK

• EJEMPLO_HILO_SDK: (VS)
• EJEMPLO_PROCESO_SDK: (VS)

EJEMPLOS PROTOCOLO TCP

• CONEXION_SIMPLE_TCP: (VS)
• CONEXION_SIMPLE_TCP_SLEEP: (VS)
• CONEXION_SIMPLE_TCP_TEMPORIZADOR: (VS)
• CONEXION_SIMPLE_TCP_NO-BLOQUEANTE: (VS)
• CONEXION_ECO_TCP_SRCONCURRENTE_1P: (VS)
• CONEXION_ECO_TCP_SRCONCURRENTE_MHILOS: (VS)
• CONEXION_ECO_TCP_SRCONCURRENTE_MHILOS_LISTEN: (VS)
• CONEXION_ECO_TCP_SRCONCURRENTE_PROCESOS: (VS)
• CLIENTE_MULTIPLE_TCP: (VS)

EJEMPLOS PROTOCOLO UDP

• COMUNICACION_SIMPLE_UDP: (VS)
• COMUNICACION_CONCURRENTE_UDP (PTO SECUNDARIO): (VS)
• LONGITUD_BUFFER_UDP: (VS)
• LONGITUD_BUFFER_UDP 2(getsockopt/setsockopt): (VS)

EJEMPLOS MULTIPROTOCOLO

• MULTIPROTOCOLO_TCP-UDP: (VS)

EJEMPLOS SERVIDORES HILOS INICIALMENTE CREADOS

• SERVICIO ECO TCP HILOS CREADOS: (VS)
• SERVICIO ECO UDP HILOS CREADOS: (VS)
• SERVICIO ECO TCP-UDP HILOS CREADOS: (VS)

EJEMPLOS PROTOCOLO ICMP (RAW-SOCKETS)

• EJEMPLOS_ICMP: (VS)

EJEMPLOS MULTICAST

• EMISOR_MULTICAST: (VS)
• RECEPTOR_MULTICAST: (VS)

EJEMPLOS DE IMPLEMENTACIÓN DE SERVICIOS DE SEGURIDAD CON LA LIBRERIA OPENSSL

• LECTURA CERTIFICADO *.PEM (VS)
• LECTURA CERTIFICADO *.p12 (VS)
• CIFRADO CLAVE PÚBLICA (VS)
• ENVIO TCP CADENA CIFRADA CLAVE PÚBLICA (VS)
• CIFRADO SIMÉTRICO (VS)
• EJEMPLOS DE FIRMA ELECTRÓNICA Y VERIFICACIÓN (VS) Descripción Funciones (pdf-7z)
• ENVÍO Y VERIFICACIÓN FIRMA TCP (VS)

EJEMPLOS DE IMPLEMENTACIÓN DE SOCKETS SEGUROS TLS (LIBRERIA OPENSSL)

• CONEXION SEGURA TLS 1.3 SIN AUTENTICACIÓN DE CLIENTE (VS)
• CONEXION SEGURA TLS 1.3 CON AUTENTICACIÓN DE CLIENTE (VS)
• TRANSFERENCIA FICHEROS SEGURA TLS 1.3 CON AUTENTICACIÓN DE CLIENTE (VS)

---

Código fuente (Ejemplos en Java)

• HILOS (1)
• HILOS (2)
• CLIENTE-SERVIDOR TCP SIMPLE_1
• CLIENTE-SERVIDOR TCP SIMPLE_2
• CLIENTE-SERVIDOR TCP ECO TIMEOUT
• CLIENTE-SERVIDOR ECO UDP
• BUFFER UDP
• BUFFER UDP SET BUFFER SIZE
• UDP ENVÍO FICHERO CORTO
• MULTICAST
• CLIENTE-SERVIDOR ECO TCP MH
• CONEXIÓN SSL SIN AUTENTICACIÓN CLIENTE
• CONEXIÓN SSL CON AUTENTICACIÓN CLIENTE

---

Código fuente (Ejemplos en Python)

• Envío Longitud Fichero
• Envío Fichero
• Envío Fichero TLS 1.3 Sin Autenticación
• Envío Fichero TLS 1.3 Con Autenticación

Código fuente (Ejemplos en Android)

• APP BASIC TLS CHAT (v1)
• APP BASIC TLS CHAT (v2)
• SIMPLE COM ANDROID-JAVA TLS
• SIMPLE COM ANDROID-JAVA TLS (v2)

Código fuente (Ejemplos en C# )

• AZURE FUNCTION HTTP TRIGGER
• AZURE FUNCTION TIME TRIGGER