Bell and LaPadula axioms: a “new” paradigm for an “old” model
NSPW '92-93 Proceedings on the 1992-1993 workshop on New security paradigms
Distributed Algorithms
Lattice-Based Access Control Models
Computer
Clustering Soft-Devices in the Semantic Grid
Computing in Science and Engineering
Cluster and Grid Superservers: The Dawning Experiences in China
CLUSTER '01 Proceedings of the 3rd IEEE International Conference on Cluster Computing
Authorization for Metacomputing Applications
HPDC '98 Proceedings of the 7th IEEE International Symposium on High Performance Distributed Computing
A Community Authorization Service for Group Collaboration
POLICY '02 Proceedings of the 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY'02)
Comments on an access control model in semantic grid
Future Generation Computer Systems
Comments on a theorem on grid access control
Future Generation Computer Systems
The data building blocks of the enterprise architect
Future Generation Computer Systems - Special section: Information engineering and enterprise architecture in distributed computing environments
Dual-Level Key Management for secure grid communication in dynamic and hierarchical groups
Future Generation Computer Systems
Review: Comments on a theorem on grid access control
Future Generation Computer Systems
Comments on an access control model in semantic grid
Future Generation Computer Systems
Hi-index | 0.00 |
The semantic grid (SG) aims at connecting information silos of web into a gigantic database, and supplying only the useful information to the users. Much advance has been made on information representation, extraction and sharing, but access control in SG is seldom discussed. This paper presents an access control model for semantic gird, which uses asynchronous automata to simulate grid nodes and grids. The classic Bell-LaPadula model is extended to deal with security properties of SG. Based on application scenarios of information sharing in China railways industry, this model is used to Study convergence and consistence problems in SG. A prototype is implemented to verify our model.