Elaboration d’un cadre formel pour le renforcement de politiques de sécurité dans les programmes

Aissani, Sofiane; Layadi, Said; Adi, Kamel;promoteur

dc.contributor.author	Layadi, Said
dc.contributor.author	Aissani, Sofiane
dc.contributor.author	Adi, Kamel;promoteur
dc.date.accessioned	2018-04-04T13:04:15Z
dc.date.available	2018-04-04T13:04:15Z
dc.date.issued	2009
dc.identifier.uri	http://univ-bejaia.dz/dspace/123456789/9538
dc.description	Option : Réseaux et Systèmes Distribués	en_US
dc.description.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.	en_US
dc.language.iso	fr	en_US
dc.publisher	université Abderahmane Mira	en_US
dc.subject	Algèbre de processus: Logique: Politique de sécurité: renforcement automatique	en_US
dc.title	Elaboration d’un cadre formel pour le renforcement de politiques de sécurité dans les programmes	en_US
dc.type	Thesis	en_US