Synthèse et Compilation de Services Web Sécurisés

Univ Europeenne - EAN : 9783841739124

Mohamed Anis Mekki

Skip to the end of the images gallery

Skip to the beginning of the images gallery

Édition papier

EAN : 9783841739124

Paru le : 18 sept. 2014

49,90 € 47,30 €

Epuisé

Pour connaître votre prix et commander, identifiez-vous

Manquant sans date

Notre engagement qualité

Livraison gratuite
en France sans minimum
de commande
Manquants maintenus
en commande
automatiquement
Un interlocuteur
unique pour toutes
vos commandes
Toutes les licences
numériques du marché
au tarif éditeur
Assistance téléphonique
personalisée sur le
numérique
Service client
Du Lundi au vendredi
de 9h à 18h

Détails

EAN13 : 9783841739124
Réf. fournisseur : 6028626
Editeur : Univ Europeenne
Date Parution : 18 sept. 2014
Disponibilite : Manque sans date
Barème de remise : NS
Nombre de pages : 124
Format : H:220 mm L:150 mm E:7 mm
Poids : 194gr
Interdit de retour : Retour interdit

Résumé

Résumé : La composition automatique de services web est une tâche difficile. De nombreux travaux ont considérés des modèles simplifiés qui font abstraction de la structure des messages échangés par les services. Pour le domaine des services sécurisés, nous proposons une nouvelle approche pour automatiser la composition des services basés sur leurs politiques de sécurité. Étant donnés, une communauté de services et un service cible, nous réduisons le problème de la synthèse de la cible à partir des services dans la communauté à un problème de sécurité, où un intrus que nous appelons médiateur doit intercepter et rediriger (et éventuellement adapter) les messages depuis et vers la communauté de services et un service client jusqu'à atteindre un état satisfaisant pour ce dernier. Nous avons implémenté notre algorithme dans la plateforme de validation du projet AVANTSSAR et nous avons testé l'outil correspondant sur plusieurs études de cas. Nous présentons en outre un outil qui compile une trace obtenue (décrivant l'exécution d'un médiateur) vers une spécification formelle permettant de valider ces propriétés de sécurité et enfin vers le code exécutable correspondant.
Biographie : J'ai écrit ma première ligne de code à l'âge de douze ans, deux ans après ma première nouvelle. J'ai depuis fini informaticien de métier et écrivain du dimanche. Expert dans le département informatique d'une grande agence gouvernementale et enseignant, j'essaie de garder fermes un pied dans l'Industrie et l'autre dans l'Université.