Modeling and Verification of Access Rights in Take-Grant Protection Model Using Colored Petri Nets

Take-Grant Protection Model (TGPM) is a powerful method for modeling access rights in a wide range of systems. It is graph based formal method that can be used for studying situations that rights may unintentionally be transferred as rights leakage. Deduction of new rights using rules of this model is difficult and time-consuming task especially for systems that have numerous parties and many rights between them. In this paper a novel model of TGPM using colored Petri net is presented.