Caractérisation des canaux cachés en logique temporelle alternante

5.0 (12)

5.00€ | 0 consultation(s) | 43 page(s)

Présentation du document :

Les canaux cachés sont des flots d’information illicites, qui peuvent être maîtrisés par d’éventuels pirates pour se transmettre de l’information en violant

Description du document :

Dossier complet et détaillé sur la caractérisation des canaux cachés en logique temporelle alternante.

Rapport de stage de master : on se propose de diagnostiquer, dans
un système distribué utilisé par plusieurs agents, la présence d’un type particulier de flots d’information, à savoir le canal caché...

[u]Extrait [/u]:
Dans un système distribué, les canaux cachés sont des flots d’information illicites et généralement implicites. La caractérisation la plus classique des flots d’information est celle donnée par la notion d’interférence. Ici nous considérons qu’un canal caché est une interférence arbitrairement réitérée par un pirate. Nous proposons ainsi un moyen de détecter
de tels canaux cachés dans un système modélisé par un automate fini. Pour cela nous montrons comment obtenir une représentation plus pratique, sous forme d’arène, de ce système[...]

Sommaire du document :

Introduction

[b]I) Étude bibliographique préliminaire[/b]
A. Modéliser la sécurité des flots d’information
B. Scénarios, canaux cachés et jeux
C. Conclusion

[b]II) Résultat obtenus pendant le stage[/b]
A. Cadre : des automates aux arènes
B. Logique : le µ-calcul à temps alternant
C. Interférence
D Caractérisation logique des canaux cachés