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 > M > Moreau Solène
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

Vérification formelle de la non-traçabilité pour les protocoles à état : entre modèles symboliques et calculatoires
  • Consulter la notice
  • Date de publication : 
    • 18-11-2021  | 
  • Auteur(s) : 
    • Moreau Solène  | 
  • Editeur(s) : 
    • Universite de Rennes 1  | 
  • Origine de la fiche : 
    • Université de Rennes 1
  • La dépendance de plus en plus grande à l'égard des systèmes informatiques soulève d'importantes questions en terme de vie privée, et nécessite notamment des protocoles de communication garantissant des propriétés de sécurité telles que la non-traçabilité. Spécifier formellement cette propriété est difficile et dépendant du contexte, et la vérifier est d'autant plus complexe. Fournir des bases math...


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