Aspects epistemiques des protocoles cryptographiques

摘要: Le but d'un protocole cryptographique est de fonctionner correctement malgre la presence d'agents malveillants. Mais, meme lorsque les participants echangent des messages chiffres avec fonctions cryptographiques bien concues, securite du n'est pas garantie. Il faut donc etudier protocoles independamment utilisees. Les proprietes securite, telles que le secret l'information transmise ou l'authenticite l'identite agents communiquants, peuvent s'enoncer en termes connaissances. Or logique epistemique a ete proposee pour formellement notions comme connaissance, croyance et l'ignorance. Pour prouver cryptographiques, deux nouvelles logiques epistemiques ont definies. La communication milieu hostile une extension connaissances qui permet decrire etats d'ignorance differents durant execution. Cette rendu possible l'etude plusieurs cryotographiques. seconde adaptation autoepistemique. Elle facilite preuves car il implicitement l'etat agent. Finalement, permettre realisation systemes automatique deduction etudies