Efficient Verification of Delegation in Distributed Group Membership Management.
Ladislav HurajHelmut ReiserPublished in: DBSec (2004)
Keyphrases
- group membership
- lightweight
- distributed systems
- conflict resolution
- cooperative
- management system
- distributed data
- knowledge management
- cost effective
- computationally efficient
- data management
- role based access control
- computer networks
- distributed environment
- model checking
- decision support
- database
- multi agent
- database systems
- case study
- neural network
- databases
- data sets