ESORICS
2007
Springer
13 years 8 months ago
2007
Springer
We propose the role-and-relation-based access control (R2 BAC) model for workflow systems. In R2 BAC, in addition to a user's role memberships, the user's relationships w...
ESORICS
2007
Springer
13 years 8 months ago
2007
Springer
ESORICS
2007
Springer
13 years 8 months ago
2007
Springer
As the XML model gets more popular, new needs arise to specify access control within XML model. Various XML access control models and enforcement methods have been proposed recentl...
ESORICS
2007
Springer
13 years 8 months ago
2007
Springer
Anonymous communications provides an important privacy service by keeping passive eavesdroppers from linking communicating parties. However, using long-term statistical analysis of...
ESORICS
2007
Springer
13 years 8 months ago
2007
Springer
ESORICS
2007
Springer
13 years 8 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
ESORICS
2007
Springer
13 years 10 months ago
2007
Springer
ESORICS
2007
Springer
13 years 10 months ago
2007
Springer
Although there exist informal design guidelines and formal development support, security protocol development is time-consuming because design is error-prone. In this paper, we int...
ESORICS
2007
Springer
13 years 10 months ago
2007
Springer
We present the Obligation Specification Language (OSL), a policy language for distributed usage control. OSL supports the formalization of a wide range of usage control requiremen...
ESORICS
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...