Documents disponibles écrits par cet auteur

Verification and Implementation of a Collaborative E-Health System Ensuring Trust between collaborators / Issam ELAALYANI

Public ISBD Titre : Verification and Implementation of a Collaborative E-Health System Ensuring Trust between collaborators Type de document : projet fin études Auteurs : Issam ELAALYANI, Auteur Année de publication : 2015 Langues : Anglais (eng) Catégories : Réseaux Informatique,Télécommunications et Multimédia Mots-clés : TPEC, l’outil Spin, données privées, Control d’accès, télémédecine, System de collaboration, Spécification formelle Index. décimale : master/231 Résumé : La télémédecine est une forme de pratique médicale à distance utilisant les technologies de l’information et de la communication. Elle met en rapport un ou plusieurs professionnels de santé avec un patient, parmi lesquels figurent nécessairement un professionnel médical et/ou d’autres professionnels apportant leurs soins au patient. Ceci inclus l’échange de données médicales des patients. Vu leurs sensibilité, ces données doivent être échangées d’une manière sécurisée. Le protocole TPEC (Trust Protocol for E-health Collaboration) a été présenté pour répondre à ce besoin, il a été formalisé sous formes d’automates à états finis afin de vérifier automatiquement sa cohérence et le valider. Dans ce travail, ces automates sont converties en PROMELA (Process Meta Language) pour permettre l’application des vérifications nécessaires par l’outil de vérification SPIN (Simple Promela INterpreter). Ce travail est conclu par une implémentation typique d’un système à échange de requêtes d’accès basé sur le protocole TPEC. Verification and Implementation of a Collaborative E-Health System Ensuring Trust between collaborators [projet fin études] / Issam ELAALYANI, Auteur . - 2015. Langues : Anglais (eng) Catégories : Réseaux Informatique,Télécommunications et Multimédia Mots-clés : TPEC, l’outil Spin, données privées, Control d’accès, télémédecine, System de collaboration, Spécification formelle Index. décimale : master/231 Résumé : La télémédecine est une forme de pratique médicale à distance utilisant les technologies de l’information et de la communication. Elle met en rapport un ou plusieurs professionnels de santé avec un patient, parmi lesquels figurent nécessairement un professionnel médical et/ou d’autres professionnels apportant leurs soins au patient. Ceci inclus l’échange de données médicales des patients. Vu leurs sensibilité, ces données doivent être échangées d’une manière sécurisée. Le protocole TPEC (Trust Protocol for E-health Collaboration) a été présenté pour répondre à ce besoin, il a été formalisé sous formes d’automates à états finis afin de vérifier automatiquement sa cohérence et le valider. Dans ce travail, ces automates sont converties en PROMELA (Process Meta Language) pour permettre l’application des vérifications nécessaires par l’outil de vérification SPIN (Simple Promela INterpreter). Ce travail est conclu par une implémentation typique d’un système à échange de requêtes d’accès basé sur le protocole TPEC.

Réservation

Réserver ce document

Exemplaires

Code barre	Cote	Support	Localisation	Section	Disponibilité
master/231	master/231 ISS	Texte imprimé	Unité des masters	Mast/16 -	Disponible