A partir de cette page vous pouvez :
Retourner au premier Ă©cran avec les Ă©tagĂšres virtuelles... |
RĂ©sultat de la recherche
1 rĂ©sultat(s) recherche sur le mot-clĂ© 'TPEC, l’outil Spin, données privées, Control d’accès, télémédecine, System de collaboration, Spécification formelle'
Affiner la recherche Faire une suggestion
Verification and Implementation of a Collaborative E-Health System Ensuring Trust between collaborators / Issam ELAALYANI
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