5. Résultats et limites
5.1 Outils d’analyse automatiques
Dans ce cadre formel, la préservation du secret par un protocole est cependant un problème
indécidable
, c’est-à-dire qu’on peut démontrer
le nombre d’agents est arbitraire ;
le nombre de sessions est arbitraire ;
à chaque étape, le nombre d’actions possibles est arbitraire car...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Résultats et limites
Conclusion
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.
