Loading...
Please wait, while we are loading the content...
Similar Documents
Using timed colored petri nets and CPN-tool to model and verify TRBAC security policies
| Content Provider | Semantic Scholar |
|---|---|
| Author | Kahloul, Laid Djouani, Karim D. Tfaili, Walid |
| Copyright Year | 2010 |
| Abstract | Role Based Access Control (RBAC) is one of the most used models in designing and implementation of security policies in large networking systems. The classical model doesn't consider temporal aspects which are so important in such policies. Temporal RBAC (TRBAC) is proposed to deal with these aspects. Although the elegance of these models, design a security policy remains a challenge. One is obliged to prove the consistency and the correctness of the policy. Using formal verification allows proving that the designed policy is consistent. In this paper, we present a formal modelling/analysis approach for TRBAC policies. We use Timed Colored Petri Nets to model the TRBAC policy, and then CPN-tool is used to analyze the generated models. The analysis allows proving many important properties about the TRBAC security policy. |
| Starting Page | 55 |
| Ending Page | 66 |
| Page Count | 12 |
| File Format | PDF HTM / HTML |
| DOI | 10.14236/ewic/vecos2010.8 |
| Alternate Webpage(s) | http://www.bcs.org/upload/pdf/ewic_ve10_paper5.pdf |
| Alternate Webpage(s) | https://doi.org/10.14236/ewic%2Fvecos2010.8 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
