Visual modeling and formal specification of constraints of RBAC using semantic web technology.

JuHum Kwon Chang-Joo Moon

Published in: Knowl. Based Syst. (2007)

Keyphrases

formal specification
specification languages
using semantic web technologies
specification language
model checking
object oriented design
process algebra
access control
software components
formal methods
databases
metadata
business processes
role based access control
concurrent systems