Retour au site du LAAS-CNRS

UML-based modeling and formal verification of authentication protocols

B.FONTAN, S.MOTA GONZALEZ , T.VILLEMUR, P.DE SAQUI SANNES, J.P.COURTIAT

OLC

Manifestation avec acte : IEEE International Symposium on Secure Software Engineering (ISSSE'06), Arlington (USA), 13-15 Mars 2006, pp.137-146 , N° 05550

Diffusable

Ajouter au panier 106405

Plate-forme générique pour le partage de contenu en mode pair-à-pair

E.HAMMAMI, T.VILLEMUR

OLC

Rapport LAAS N°06130, Mars 2006, 16p.

Diffusable

Ajouter au panier 106100

Modélisation UML d'un protocole d'échange de clés dans un groupe sécurisé

S.MOTA GONZALEZ , B.FONTAN, P.DE SAQUI SANNES, T.VILLEMUR, P.OWEZARSKI

OLC

Rapport LAAS N°06038, Janvier 2006, 11p.

Diffusable

Ajouter au panier 105737

Autonomous deployment of software applications into distributed computer systems

E.HAMMAMI, T.VILLEMUR

OLC

Rapport LAAS N°06078, Janvier 2006, 14p.

Diffusable

Ajouter au panier 105822

Nouvel algorithme pour le déploiement sensible au contexte

E.HAMMAMI, T.VILLEMUR

OLC

Manifestations avec acte à diffusion limitée : 7èmes Journées Doctorale Informatique et Réseau (JDIR'2005), Troyes (France), 14-15 Décembre 2005, pp.47-64 , N° 05652

Diffusable

Ajouter au panier 105356

CSCW experience for distributed system engineering

T.VILLEMUR, K.DRIRA

OLC

Ouvrage (contribution) : Encyclopedia of Human Computer Interaction, Idea Group Reference, Ed.Claude Ghaoui, N°ISBN 1-59140-562-9, 2005, pp.128-135 , N° 04357

Diffusable

Ajouter au panier 105389

A model-driven approach for managing synchronous collaborative sessions

L.M.RODRIGUEZ PERALTA, T.VILLEMUR, K.DRIRA

OLC

Rapport LAAS N°05667, Décembre 2005, 15p.

Diffusable

Ajouter au panier 105391

L2.5 - Spécification du système global, intégration des services de sécurité au protocole de gestion de clés

M.SALAH BOUASSIDA, N.CHRIDI, I.CHRISMENT, B.FONTAN, S.MOTA GONZALEZ , P.OWEZARSKI, H.RAGAB HASSAN, P.DE SAQUI SANNES, T.VILLEMUR

OLC, LORIA, UTC

Rapport de Contrat : Contrat RNRT SAFECAST, Novembre 2005, 29p. , N° 05680

Diffusable

Ajouter au panier 105449

Déploiement adaptatif des composants dans les sessions collaboratives

E.HAMMAMI, T.VILLEMUR

OLC

Manifestation avec acte : 5ème Colloque International sur les Nouvelles Technologies de la Répartition (NOTERE'2005), Gatineau (Canada), 29 Août 1er Septembre 2005, pp.31-40 , N° 05285

Diffusable

Ajouter au panier 103972

Lab@Future evaluated system

A.TOTTER, G.GROTE, V.BAUDIN, J.P.COURTIAT, T.VILLEMUR

OLC, Zurich, 2I

Rapport de Contrat : Lab@Future, Project IST-2001-34204, Avril 2005, 20p. , N° 05604

Diffusable

Ajouter au panier 105029