Formal Verification for Access Control in Web Information Sharing System.
Akihiro SakaiYoshiaki HoriKouichi SakuraiPublished in: ISA (2009)
Keyphrases
- access control
- information sharing
- formal verification
- fine grained
- information resources
- dynamic access control
- data security
- trust relationships
- model checking
- share information
- information exchange
- sharing information
- security policies
- data sharing
- role based access control
- access control policies
- e government
- knowledge sharing
- rbac model
- directory service
- security requirements
- security mechanisms
- access control systems
- user centric
- resource sharing
- access control mechanism
- access control models
- trust management
- identity management