Modèle de protection Take-grant

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

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 noeuds sont soit des sujets, soit des objets. Les labels des arêtes précisent les droits que la source à sur la destination de l'arête.