I detta dokument presenteras modellering av Coloured Petri Net för säkerhetsanalys av systemen för utökad rollbaserad åtkomst.
I Ref-säkerhetsanalysen av utökade rollbaserade tillträdeskontrollsystem modelleras med hjälp av färgade Petri-nät.
Procedural Constraints in the Extended RBAC and the Coloured Petri Net Modeling
{'venue': 'IEICE Transactions', 'journal': 'IEICE Transactions', 'mag_field_of_study': ['Mathematics', 'Computer Science']}