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 > C > Cabon Gurvan
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

Non local analyses certification with an annotated semantics
  • Consulter la notice
  • Date de publication : 
    • 14-12-2018  | 
  • Auteur(s) : 
    • Cabon Gurvan  | 
  • Editeur(s) : 
    • Universite de Rennes 1  | 
  • Origine de la fiche : 
    • Université de Rennes 1
  • La quantité croissante de données traitées par les logiciels rend légitime le besoin de garanties de confidentialité. La propriété de non-interférence assure qu'un programme ne fuite pas de données privées vers une sortie publique. Nous proposons une méthode pour construire, une multisémantique annotée capable de capturer la propriété de non-interférence pour aider à prouver formellement des analy...


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