![]() Our approach begins with the semi-formal specification access control rules using UACML activity diagram. We describe verification architecture of access control properties using a UACML (Unified access control modeling language), Fiacre, OPB/CDL (Observer-Based Prover/Context Description Language) toolkit. ![]() ![]() The present paperwork introduces a methodology as well as a tool-chain aiming to formalize the properties of security (access control). Therefore, the use of formal methods is a response to those preoccupations in the framework of modelisation of access control policies. Considering the diverse phases of an access control policy design and its effective application on a deployed system, several steps can introduce undesirable errors or flaws. ![]() It accords a definition to the conditions of actions execution in a system by a user. Access control is an essential component for computer system securing. ![]()
0 Comments
Leave a Reply. |