Formal specification of role-based security policies for clinical information systems.
Karsten SohrMichael DrouineaudGail-Joon AhnPublished in: SAC (2005)
Keyphrases
- formal specification
- security policies
- access control
- information systems
- access control systems
- access control policies
- model checking
- specification languages
- object oriented design
- security management
- specification language
- security requirements
- process algebra
- network security
- fine grained
- reverse engineering
- role based access control
- formal methods
- data security
- business rules
- access control models
- distributed systems
- health care
- concurrent systems
- security mechanisms
- information technology
- rbac model
- information security
- business processes
- access control mechanism
- software development
- knowledge management