Recherche simple :
Ressources pédagogiques
Ressources diverses
Thèses
Toutes les ressources
Thèses > Par auteur en fr
  • Nouveautés
  • Recherche avancée
  • Par auteur
  • Par date
  • Par laboratoire
  • Recherche thématique
Thèses -> Auteurs
Auteurs > A > Assaf Mounir
Niveau supérieur
  • 1 ressource a été trouvée.
  |< << Page précédente 1 Page suivante >> >| documents par page
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
Tri :   Date de référencement Editeur Auteur Titre

From qualitative to quantitative program analysis : permissive enforcement of secure information flow


  • Consulter la notice
  • Date de publication : 
  • 06-05-2015  | 
  • Auteur(s) : 
  • Assaf Mounir  | 
  • Editeur(s) : 
  • Université de Rennes 1  | 
  • Origine de la fiche : 
  • Université de Rennes 1
  • De nos jours, les ordinateurs sont omniprésents. Tous ces ordinateurs stockent et manipulent de l'information, parfois sensible, d'où l'intérêt de protéger et de confiner la dissémination de cette information. Les mécanismes de contrôle de flux d'information permettent justement d'analyser des programmes manipulant de l'information sensible, afin de prévenir les fuites d'information. Les contribut...


  • Référencé le  : 
  • 18-08-2015
    |< << Page précédente 1 Page suivante >> >| documents par page
    © 2006-2010 ORI-OAI