Combining UML, ASTD and B for the formal specification of an access control filter.
Jérémy MilhauAkram IdaniRégine LaleauMohamed-Amine LabiadhYves LedruMarc FrappierPublished in: Innov. Syst. Softw. Eng. (2011)
Keyphrases
- access control
- formal specification
- specification language
- formal methods
- object oriented design
- model checking
- fine grained
- dynamic access control
- data security
- security policies
- role based access control
- security model
- reverse engineering
- access control models
- security mechanisms
- access control systems
- software components
- software systems
- modeling language
- database design
- access control mechanism
- object oriented
- databases
- database security
- intelligent agents
- petri net
- security requirements