Modèle de protection Take-grant
Cet article est une ébauche concernant la sécurité informatique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Le modèle de protection Take-grant est un modèle formel utilisé en sécurité informatique, visant à évaluer la sécurité d'une machine qui suit des règles spécifiques. Il montre que pour des systèmes spécifiques, la question de la sécurité devient décidable alors qu'elle ne l'est pas en général.
Le système est représenté comme un graphe orienté, où les nœuds sont soit des sujets, soit des objets. Les labels des arêtes précisent les droits que la source a sur la destination de l'arête.
