3. Propriétés de sécurité
Une propriété de sécurité est toute propriété qu’un protocole cherche à assurer. Les propriétés les plus courantes sont le secret et l’authentification.
3.1 Secret
On dit en général qu’un protocole assure le secret d’une donnée si l’intrus ne peut pas connaître cette donnée.
Parmi les propriétés de secret, on distingue les propriétés globales et locales : on peut demander qu’une donnée soit secrète « tout le temps » ou bien qu’elle soit secrète « tant que la session correspondante n’est pas terminée ». La première notion est plus facile à modéliser puisqu’il suffit d’exprimer que l’intrus ne peut jamais déduire le secret. La seconde propriété demande...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Propriétés de sécurité
Modélisation
Références bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Mathématiques"
(
228 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
