Mémoires de Fin d’Etudes
Etablissement
Université de Béjaia - Abderrahmane Mira
Affiliation
Département d’Informatique
Auteur
SOFIANE, Aissani
Directeur de thèse
Kamel, Adi (Docteur)
Filière
Informatique
Diplôme
Magister
Titre
Elaboration d’un cadre formel pour le renforcement de politiques de sécurité dans les programmes
Mots clés
Algèbre de processus, Logique, Politique de sécurité, renforcement automatique, code mobile. Abstract
Résumé
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 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.
Date de soutenance
2008-2009
Cote
004M/135
Pagination
98 f.
Format
30 cm
Notes
Bibliogr.f.100-103
Statut
Soutenue
Tags & Categories
etablissement
securite
informatique
programme
automatique
politique
cadre
renforcement
permettant
formel
universitÉ
Établissement
univérsité
établissement
memoires
établissement
departement
universite
établissement
abderrahmane
affiliation
d’informatique
département
directeur
etablissement
mémoires
université