A verification framework for access control in dynamic web applications.

Manar H. Alalfi James R. Cordy Thomas R. Dean

Published in: C3S2E (2009)

Keyphrases

web applications
access control
dynamic content
application development
security policies
dynamic access control
end users
web services
security mechanisms
distributed systems
security requirements
application developers
data security
rbac model
search engine
databases
directory service
website
access control models