Analyse des propriétés temporelles de la privacité dans les busines protocoles
Analyse des propriétés temporelles de la privacité dans les busines protocoles
| dc.contributor.author | Mokhtari Karima khadija | |
| dc.date.accessioned | 2022-12-07T09:47:51Z | |
| dc.date.available | 2022-12-07T09:47:51Z | |
| dc.date.issued | 2013-05-02 | |
| dc.description.abstract | Les Protocoles standards de bases de la spécification des web services, tels que définis par le WC3 (SOAP et WSDL), installent un cadre minimum pour faire fonctionner un web service de base. D’autres aspects encore, doivent être adressés pour le fonctionnement normal d’un web service ”réel” (c’est-à-dire un web service déployé dans un système réparti et accédé par des millions d’utilisateurs via internet). Parmi ces aspects on peut citer la sécurité, la gestion des transactions, la tolérance aux pannes et l’interaction avec d’autres web services. Ce dernier aspect, s’est avéré critique pour beaucoup de domaines notamment pour les systèmes d’informations du commerce électronique. En effet, le fichier wsdl expose l’interface des services proposés, mais une information cruciale manque pour le faire interagir correctement avec les autres partenaires. Cette information c’est ”la conversation”, c’est à dire la séquence correcte des appels des fonctions (méthodes, procédures) représentés par les messages WSDL. Pour résoudre ce problème la communauté de recherches sur les web services, propose le concept du business protocole (BP). L’idée générale, c’est utiliser un modèle formel pour représenter la séquence correcte de l’envoi des messages d’entrées/sorties d’un web service, et de convoyer cette information avec le fichier WSDL pour que les autres web services (clients ou prestataires) puissent interagir correctement avec lui. Dans ce travail on propose de construire un modèle qui décrit un business protocole privé temporisé (BPPT), c’est-à-dire un business protocole qui exprime les exigences de la vie privée, appelée aussi privacité, mais qui prend en compte aussi les exigences temporelles. Ensuite on utilise les capacités formelles du modèle proposé pour vérifier la consistance et la satisfiabilité de ces exigences (temporelles et de privacité). | |
| dc.format | ||
| dc.identifier.uri | https://dspace.univ-oran1.dz/handle/123456789/3075 | |
| dc.language.iso | fr | |
| dc.publisher | Université Oran1 Ahmed Ben Bella | |
| dc.subject | Web Service, Business Protocole, Privacité, Timed Automata | |
| dc.title | Analyse des propriétés temporelles de la privacité dans les busines protocoles | |
| grade.Co-rapporteur | Benbernou Salima, Professeur, Université Paris Descartes France. | |
| grade.Examinateur | Malki Mimoun, Professeur, Université De Sidi BelAbbes | |
| grade.Examinateur | Benyatou Mohamed, Professeur, Université Mohamed Boudif-Oran | |
| grade.Examinateur | Lebbah Yahia, Professeur, Université d’Oran | |
| grade.Option | Systèmes distribués | |
| grade.Président | Beldjilali Bouziane, Professeur, Université d’Oran | |
| grade.Rapporteur | Benhamamouch Djilali, Professeur, Université D’Oran | |
| l'article.1.DateParution | 2012 | |
| l'article.1.Revue | INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS | |
| l'article.1.Référence | International Journal of Cooperative Information Systems vol. 21, No. 2, pp. 85–109 | |
| l'article.1.Titre | TIMED PRIVACY-AWARE BUSINESS PROTOCOLS | |
| la.Mention | Très Honorable | |
| la.Spécialité | Informatique | |
| la.cote | TH4032 |
Fichiers
Bundle original
1 - 1 sur 1