Recherche simple :
Ressources pédagogiques
Ressources diverses
Thèses
Toutes les ressources
Thèses > Par auteur
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 >>
>|
5
10
15
20
25
30
35
40
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
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 >>
>|
5
10
15
20
25
30
35
40
documents par page
© 2006-2010 ORI-OAI