Please use this identifier to cite or link to this item:
http://univ-bejaia.dz/dspace/123456789/9538
Title: | Elaboration d’un cadre formel pour le renforcement de politiques de sécurité dans les programmes |
Authors: | Layadi, Said Aissani, Sofiane Adi, Kamel;promoteur |
Keywords: | Algèbre de processus: Logique: Politique de sécurité: renforcement automatique |
Issue Date: | 2009 |
Publisher: | université Abderahmane Mira |
Abstract: | De nos jours, l.informatique et la sécurité sont indissociables et sont à la confluence de diverses disciplines scientifiques. Ce projet se classe dans ce domaine, son principal objectif est l'élaboration d.un cadre formel permettant le renforcement automatique d.un programme par une politique de sécurité. Plus précisément, étant donné un programme P et une politique de sécurité, nous avons élaboré une technique permettant de dériver un programme P. à partir de P et de de telle manière que P. satisfait la politique et reste correct par rapport à p. |
Description: | Option : Réseaux et Systèmes Distribués |
URI: | http://univ-bejaia.dz/dspace/123456789/9538 |
Appears in Collections: | Mémoires de Magister |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Elaboration d’un cadre formel pour le renforcement de politiques de sécurité dans les programmes.pdf | 2.98 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.