Nuevos servicios telemáticos basados en correo electrónico

Résumé

EN EL AMBITO DE LAS COMUNICACIONES DE DATOS, LAS TECNICAS DE DESCRIPCION FORMAL DE PROTOCOLOS OFRECEN LA POSIBILIDAD DE REALIZAR Y VERIFICAR ESPECIFICACIONES DE PROTOCOLOS DE FORMA SEMIAUTOMATICA, PROPORCIONANDO UNA GRAN AYUDA A LAS DESARROLLADORES DE APLICACIONES DE COMUNICACIONES. EL OBJETIVO DE ESTA TESIS ES UTILIZAR LA TECNICA DE DESCRIPCION FORMAL ESTELLE PARA DESARROLLAR UN CANAL DE COMUNICACIONES FIABLE Y SEGURO, BASADO EN CORREO ELECTRONICO. ESTE CANAL DE COMUNICACIONES ES APROVECHADO POR LA APLICACION DE TRANSFERENCIA DE FICHEROS LLAMADA FTP-MAIL, DESARROLLADA EN EL MARCO DE LA PRESENTE TESIS LA CUAL OFRECE AL USUARIO LA POSIBILIDAD DE ENVIAR Y/O RECIBIR FICHEROS DE CUALQUIER TAMAÑO MEDIANTE MENSAJES DE E-MAIL. LA APLICACION FTP-MAIL OFRECE A LOS USUARIOS LA POSIBILIDAD DE PODER ENVIAR Y/O RECIBIR FICHEROS DE MANERA OFF-LINE, SIENDO ESTOS DEPOSITADOS EN EL DIRECTORIO ESPECIFICADO DE FORMA FIABLE, SEGURA Y TOTALMENTE TRANSPARENTE AL USUARIO. PARA CONSEGUIR FIABILIDAD EN LOS MENSAJES E-MAIL HA SIDO NECESARIO ESPECIFICAR Y DESARROLLAR UN PROTOCOLO DE RETRANSMISIONES DE MENSAJES E-MAIL ADECUADO, UTILIZANDO ESTELLE. PARA AÑADIR SEGURIDAD A LA INFORMACION QUE SE TRANSFIERE SE HAN UTILIZADO TECNICAS CRIPTOGRAFICAS BASADAS EN EL ESTANDAR PEM (PRIVACY ENHANCED MAIL). SE CONCLUYE QUE ES PERFECTAMENTE POSIBLE EMPLEAR LA APLICACION FTP-MAIL PARA TRANSFERENCIAS DE FICHEROS, CONSIGUIENDO UNA FIABILIDAD EN LA TRANSMISION SUPERIOR A LA CONSEGUIDA POR LAS APLICACIONES FTP CONVENCIONALES, SOBRE TODO CUANDO SE DESEAN EFECTUAR TRANSMISIONES DE FICHEROS DE GRAN VOLUMEN EN HORAS EN LAS QUE LA RED SE ENCUENTRA CONGESTIONADA. LA VELOCIDAD MEDIA CONSEGUIDA MEDIANTE FTP-MAIL NO ES TAN ELEVADA COMO CON FTP, AUNQUE A CAMBIO, USUARIOS QUE SOLO DISPONEN DE CONEXION E-MAIL CON LA RED INTERNET PUEDEN REALIZAR TRANSFERENCIAS DE FICHEROS DE FORMA AUTOMATIZADA.