NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 3
  • Tagged with
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 3 of 3 (0.036 seconds)

Spelling suggestions: "subject:"advise"" "subject:"secadas""

1

Un modèle de validation automatique de mécanismes de sécurisation des communications

Zemmouri, Fathya January 2003 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
Validation
Mécanisme de sécurité
Protocole de sécurité
Spécification formelle
SecAdvise
PROMELA
SPIN
Services de sécurité
Intrus
EFSM
2

SecAdvise : un aviseur de mécanismes de sécurité

Saliba, Rima January 2003 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
Commerce électronique
Transaction
Sécurité
Risque
Service de sécurité
Mécanisme de sécurité
Modèle OSI
TPS (Trust Problem Space)
Tu (Trust Unit)
SecAdvise
3

SecAdvise - un aviseur de mécanismes de sécurité : implantation, validation et expérimentation du modèle proposé

Dagher, Marian January 2003 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
Commerce électronique
Transaction
Sécurité
Risque
Service de sécurité
Mécanisme de sécurité
Modèle OSI
TPS (Trust Problem Space)
TU (Trust Unit)
SecAdvise

Page generated in 0.0405 seconds