An Access Control Language for Dynamic Systems - Model-Driven Development and Verification.
Manuel KochKarl PaulsPublished in: SDL Forum (2005)
Keyphrases
- dynamic systems
- access control
- model driven development
- modeling language
- complex systems
- security policies
- data security
- dynamic access control
- role based access control
- dynamical systems
- model driven
- access control policies
- software development
- access control mechanism
- software design
- business processes
- access control models
- service oriented architecture
- service oriented
- security requirements
- particle filter
- software engineering
- model checking
- commercial software
- business applications
- data mining
- case study
- social networks