La sécurité


La sécurité en prison : la sécurité matérielle

« …vient à l’esprit lorsque l’on parle de la sécurité dans un établissement pénitentiaire, c’est la sécurité périmétrique et matérielle. D’ailleurs, le rapport Chauvet, réalisé suite à la tentative d’évasion de Fresnes, le 27 mai 2001, préconise un renforcement de cette sécurité, que l’on appelle comme étant « passive ». Ainsi, la sécurité matérielle d’un établissement… » …

La sécurité en prison : la sécurité matérielle Lire la suite »


Les services liés à l’automobile : la sécurité

3. Les services liés à l’automobile Afin d’accompagner le véhicule de sa mise en circulation à sa fin de vie, la filière automobile comprend une variété importante de services destinés à faciliter la mobilité des automobilistes dans des conditions optimales de sécurité et de respect de l’environnement. Présents sur l’ensemble du territoire, ces services de …

Les services liés à l’automobile : la sécurité Lire la suite »

Le système de gestion de la confiance au web

Chapitre 9 – Conclusion Le travail que nous avons présenté dans cette thèse aborde un problème significatif de la recherche en sécurité informatique : le problème de gestion de la confiance. Lors de l’utilisation d’applications Internet (commerce électronique, chat, . . . ), une question se pose toujours : lorsque nous prenons contact avec un …

Le système de gestion de la confiance au web Lire la suite »


Réalisation du module de vérification de la politique de sécurité

8.3 Réalisation du module de vérification À la date de rédaction de ce manuscrit, nous réalisons les classes de vérification de politique proposées dans le cadre de l’application JavaHBAC [58] en utilisant les packages de vérification de modèles Automaton et JavaBDD, disponibles en ligne. Une autre ébauche du module de vérification de la politique de …

Réalisation du module de vérification de la politique de sécurité Lire la suite »

Politique de confiance: Spécification de la politique en XML

8.2 Spécification de la politique en XML La politique de confiance de chaque partie est exprimée par une formule logique PPLTL telle que celle que nous avons présentée dans le scénario d’application du chapitre 6. Pour faciliter la spécification et la manipulation des politiques par le programme, nous utilisons le format XML pour les sauvegarder. …

Politique de confiance: Spécification de la politique en XML Lire la suite »

Architecture de l’application

Prototype de négociation de la confiance : Architecture

Prototype de négociation de la confiance – Chapitre 8 Dans ce chapitre, nous présentons l’implémentation de notre prototype de bibliothèque de négociation de la confiance. Il s’agit d’un prototype qui implémente le scénario d’application pour les transactions de e-commerce. Le modèle de la négociation de ce prototype a été présenté au chapitre 6 et se …

Prototype de négociation de la confiance : Architecture Lire la suite »