A class of theory-decidable inference systems
Year: 2005
Type: dissertation
Abstract: Dans les deux dernières décennies, l’Internet a apporté une nouvelle dimension aux communications.\nIl est maintenant possible de communiquer avec n’importe qui, n’importe\noù, n’importe quand et ce, en quelques secondes. Alors que certains systèmes de\ncommunication distribués, comme le courriel, le chat, . . . , sont plutôt informels et\nne nécessitent aucune sécurité, d’autres comme l’échange d’informations militaires ou\nencore médicales, le commerce électronique, . . . , sont très formels et nécessitent de très\nhauts niveaux de sécurité.\nPour atteindre les objectifs de sécurité voulus, les protocoles cryptographiques sont\nsouvent utilisés. Cependant, la création et l’analyse de ces protocoles sont très difficiles.\nCertains protocoles ont été montrés incorrects plusieurs années après leur conception.\nNous savons maintenant que les méthodes formelles sont le seul espoir pour avoir des\nprotocoles parfaitement corrects. Ce travail est une contribution dans le domaine de\nl’analyse des protocoles cryptographiques de la façon suivante:\n• Une classification des méthodes formelles utilisées pour l’analyse des protocoles\ncryptographiques.\n• L’utilisation des systèmes d’inférence pour la mod´elisation des protocoles cryptographiques.\n• La définition d’une classe de systèmes d’inférence qui ont une theorie décidable.\n• La proposition d’une procédure de décision pour une grande classe de protocoles\ncryptographiques
Author: François Gagnon
Language: English
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2182140845