TSKY: a dependable middleware solution for data privacy using public storage clouds

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

A realização do sujeito em complementos infinitivos de verbos causativos e percetivos no português língua de herança

Dissertação de mestrado em Ciências da Linguagem

Mètodes algebraics i de teoria de la prova per a la formalització del raonament vague

Projecte de recerca elaborat a partir d’una estada a la Università degli studi di Siena, Italy , entre 2007 i 2009. El projecte ha consistit en un estudi de la formalització lògica del raonament en presència de vaguetat amb els mètodes de la Lògica Algebraica i de la Teoria de la Prova. S'ha treballat fonamental en quatre direccions complementàries. En primer lloc, s'ha proposat un nou plantejament, més abstracte que el paradigma dominant fins ara, per l'estudi dels sistemes de lògica borrosa. Fins ara en l'estudi d'aquests sistemes l'atenció havia recaigut essencialment en l'obtenció de semàntiques basades en tnormes contínues (o almenys contínues per l'esquerra). En primer nivell de major abstracció hem estudiat les propietats de completesa de les lògiques borroses (tant proposicionals com de primer ordre) respecte de semàntiques definides sobre qualsevol cadena de valors de veritat, no necessàriament només sobre l'interval unitat dels nombres reals. A continuació, en un nivell encara més abstracte, s’ha pres l'anomenada jerarquia de Leibniz de la Lògica Algebraica Abstracta que classifica tots els sistemes lògics amb un bon comportament algebraic i s'ha expandit a una nova jerarquia (que anomenem implicacional) que permet definir noves classes de lògiques borroses que contenen quasi totes les conegudes fins ara. En segon lloc, s’ha continuat una línia d'investigació iniciada els darrers anys consistent en l'estudi de la veritat parcial com a noció sintàctica (és a dir, com a constants de veritat explícites en els sistemes de prova de les lògiques borroses). Per primer cop, s’ha considerat la semàntica racional per les lògiques proposicionals i la semàntica real i racional per les lògiques de primer ordre expandides amb constants. En tercer lloc, s’ha tractat el problema més fonamental del significat i la utilitat de les lògiques borroses com a modelitzadores de (part de) els fenòmens de la vaguetat en un darrer article de caràcter més filosòfic i divulgatiu, i en un altre més tècnic en què defensem la necessitat i presentem l'estat de l'art de l'estudi de les estructures algèbriques associades a les lògiques borroses. Finalment, s’ha dedicat la darrera part del projecte a l'estudi de la complexitat aritmètica de les lògiques borroses de primer ordre.

XIFRADOR 1.0

Aquest TFC pretén investigar en el concepte de generadors de seqüencies pseudoaleatories amb la finalitat d'implementar un generador amb qualitats òptimes per al xifratge de dades.

Implementació d'un esquema criptogràfic per a la gestió segura d'historials mèdics a través d'una xarxa de comunicacions

Aquest projecte es proposa dissenyar i implementar un sistema de gestió d'historials mèdics per a ser usat remotament a través d'una xarxa de comunicacions, amb un èmfasi principal enl'assoliment d'un nivell de seguretat considerat alt.

Esquema criptogràfic per la gestiód'expedients mèdics

Donada la naturalesa de la informació que conté un expedient mèdic, és de vital importància que tant l'accés a les dades, com l'emmagatzemament d'aquestes, es porti a terme amb la major seguretat possible.

Disseny i desenvolupament d'un esquema criptogràfic per gestionar de forma segura els historials mèdics dels pacients a través d'una xarxa de comunicacions.

Desenvolupament d'un esquema criptogràfic per gestionar de forma segura els historials mèdics dels pacients através d'una xarxa de comunicacions. L'aplicació proporciona les propietatsbàsiques de seguretat que hem esmentat, a més de la propietat de no-repudique permet assegurar que una informació referent a una visita ha estat introduïda per un metge autoritzat i concret.

Sistema criptográfico para la gestión segura dehistoriales médicos a través de la red

Explorar les possibilitats de la criptografía per garantir la consulta i modificació segures d'historials mèdics a través d'una xarxa de comunicacions.

XifraXat : Xat segur

XifraXat és un sistema que permet a dos usuaris gaudir d'una conversa del tot privada. Assegura la privacitat als usuaris ja que utilitza un sistema de xifra Diffie-Hellman, que com tots els sistemas de xifra pública, el xifratge el fa l'usuari a partir de les seves claus.

Implementació d'un esquema criptogràfic per gestionar remotament de forma segura els historials mèdics dels pacients

Implementació d'un esquema criptogràfic basat en PKI (Public Key Infrastructure) per a gestionar d'una manera segura dins una xarxa de comunicacions els historials mèdics dels pacients.

Implementació d'un esquema criptogràfic per gestionar de forma segura els historials mèdics dels pacients a traves d'una xarxa de comunicacions

Aquest treball presenta una solució basada en criptosistemes de clau pública, certificats i signatures digitals, emprant Java com a llenguatge de programació. Per a estendre la funcionalitat quant a seguretat del Java Developer Kit (JDK) s'utilitza la llibreria criptogràficaIAIK (Institute for Applied Information Processing and Communication).

SENDCRYPT

Aplicació universal per qualsevol telèfon mòbil que compleixi uns mínims requisits que permeti a l'usuari enviar i rebre missatges SMS (Short Message Service) encriptats i així poder mantenir la privacitat d'aquests de la mateixa manera que ho fa un usuari de PGP (Pretty Good Privacy) o OpenPGP.

Cifrado de ficheros mediante DES-CBC

En aquest projecte i davant de l'actual explosió en els serveis de transmissió electrònica d'informació, es pretén fer una anàlisi del sistema de xifrat DES (Data Encryption Standard), des del punt de vista instructiu perquè pugui ser utilitzat en el futur com a element d'ensenyament per facilitar la compressió del seu funcionament.

Escenari segur client-servidor amb un proveïdor d'identitat i control d'accés extern

El projecte consisteix en desenvolupar un sistema que permeti a un client poder connectar-se auna pàgina web, validar-se sense contrasenya (amb un certificat idCat), i accedir als seus recursos.

Infraestructura de Clau Pública (PKI) per a lagestió d'historials mèdics

L'objectiu d'aquest projecte, emmarcat en l'àrea de la Seguretat Informàtica, ésimplementar un esquema criptogràfic, que garanteixi els requisits de seguretat d'un sistema de gestió d'historials mèdics, a través d'una xarxa de comunicacions.