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 > Y > Yuan Shenghao
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

Verified programming and secure integration of operating system libraries in Coq
  • Consulter la notice
  • Date de publication : 
    • 08-12-2023  | 
  • Auteur(s) : 
    • Yuan Shenghao  | 
  • Editeur(s) : 
    • Université de Rennes  | 
  • Origine de la fiche : 
    • Université de Rennes 1
  • En tant que technologie révolutionnaire d'extension du noyau, Berkeley Packet Filters (BPF) a été appliqué à divers systèmes d'exploitation dans différents domaines, des serveurs (BPF étendu de Linux) aux micro-contrôleurs (rBPF de RIOT-OS). L'isolation des machines virtuelles BPF est essentielle pour garantir l'intégrité du système contre les programmes potentiellement malveillants, en particulie...


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