A Formal Logic for Shared Resource Access Control in the Grid.
Baiyan LiRuonan RaoJinyuan YouMinglu LiPublished in: GCC Workshops (2004)
Keyphrases
- access control
- formal logic
- predicate logic
- grid environment
- dynamic access control
- data security
- security policies
- grid computing
- description logics
- role based access control
- formal methods
- access control policies
- design theory
- rbac model
- security mechanisms
- artificial intelligence
- resource sharing
- grid services
- access control mechanism
- access control systems
- logic programming
- access control models
- temporal logic