期刊名称：International Journal of Information and Network Security (IJINS)
印刷版ISSN：2089-3299
出版年度：2013
卷号：2
期号：1
页码：78-90
DOI：10.11591/ijins.v2i1.1523
语种：English
出版社：Institute of Advanced Engineering and Science
摘要：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 is used for studying situations that rights can unintentionally be transferred as rights leakage. Deduction of new rights using rules of this model is difficult task especially for systems that have numeras parties and many rights between them. In this paper a novel model of TGPM using colored Petri net is presented. Using model checking of state space of the model, is proved that a specific party in the system can have specific right over other party or not in a case study? If a right leakage exists, then using model checking of the state space of the model an automatic proof can be generated.
