5252 search results - page 708 / 1051 » Logic in Access Control |
200
click to vote
LCPC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
179
click to vote
MADNES
2005
Springer
16 years 8 days ago
2005
Springer
An outstanding security problem in mobile agent systems is resource access control, or authorization in its broader sense. In this paper we present an authorization framework for m...
224
click to vote
SPW
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Many users routinely log in to their system with system administrator privileges. This is especially true of home users. The advantage of this setup is that these users c...
157
click to vote
TGC
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
159
click to vote
ASPDAC
2004
ACM
16 years 6 days ago
2004
ACM
Abstract— A split shared-bus architecture with multiple simultaneous bus accesses is proposed. Compared to traditional bus architectures, the performance of proposed architecture...