Elaboration D’un Cadre Formel Pour Le Renforcement De Politiques De Sécurité Dans Les Programmes
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 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.
Mots-clès:
Nos services universitaires et académiques
Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).
Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!
Aucun fichier associé
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".
