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

0 (0 avis)

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

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[...]

Auteur : Florian V. (13 notes)

Diplômé d'un BAC+5 en marketing et communication, actuellement directeur marketing pour un site ecommerce français.


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

FAQs

Liste des avis

Aucun avis client pour le moment

Derniers documents dans la catégorie

Création d'un envoyeur de message avec Visual basic .net

Comment installer un logiciel d'envoyeur de message, pour après pouvoir envoyer des message langage Visual Basic.Création d'un envoyeur de message avec Visu ...

Document Pdf

Les algorithmes d'approximation

Il s'agit d'une série de sept exercices destinés aux élèves de la SI concernant les algorithmes d'approximation ...

Document .doc

Administration des services réseaux sous linux

Administration des services réseaux sous linux. Dans ce document nous mettons l’accent sur les fichiers et les commandes réseaux qui se cachent derrière Ap ...

Document Pdf

Dossier sur les services web

Dossier sur les service web. Si vous êtes débutant et vous cherchez à comprendre les services web en toute simplicité ce document est fais pour vous. ...

Cours complet Microsoft Word

Cours complet et assez détaille pour maitriser au mieux l'outil Word de Microsoft Office. Tutoriel à télécharger ...

Document Pdf

Exposé sur internet

Exposé très complet qui explique internet et son fonctionnement. Exposé d'informatique à télécharger ...

Document Pdf