001029894
100  $a20120312                 y50      
101  $afre
2001 $aElaboration d’un cadre formel pour le renforcement de politiques de sécurité dans les programmes$bressource électronique
210  $aUniversité de Béjaia - Abderrahmane Mira  : Département d'Informatique$cUniversité de Béjaia - Abderrahmane Mira $d2008-2009
215  $a98 f.$d30 cm
328 1$bMagister$cInformatique$eDépartement d'Informatique , Université de Béjaia - Abderrahmane Mira $d2008-2009
330  $aDe 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.
337  $aBibliogr.f.100-103
610  $aAlgèbre de processus, Logique, Politique de sécurité, renforcement automatique, code mobile. Abstract
700  $aSOFIANE, aissani
701  $aArray
801 0$aDZ$bCERIST PNST
901$ac
990  $a004M/135