3899 search results - page 75 / 780 » Argumentation for Access Control |
180
click to vote
CSFW
2012
IEEE
13 years 8 months ago
2012
IEEE
—We show that Kripke semantics of modal logic, manifest in the syntactic proof formalism of labeled sequent calculi, can be used to solve three central problems in access control...
152
click to vote
ITCC
2005
IEEE
15 years 11 months ago
2005
IEEE
Access control software must be based on a security policy model. Flaws in them may come from a lack of precision or some incoherences in the policy model or from inconsistencies ...
149
click to vote
ADC
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes an access control method of the XML repository system, SAXOPHONE, which was implemented at Tokyo Metropolitan University. The main feature of our research is ...
175
click to vote
WETICE
1997
IEEE
15 years 10 months ago
1997
IEEE
In this paper we want to share our experiences with implementing a scheme that enforces role based access control in a distributed, heterogeneous computing environment. This work ...
197
click to vote
SIS
2008
15 years 7 months ago
2008
In this paper we propose an access control model for use by a trusted middleware infrastructure, which is part of an architecture that supports the operation of Location Based Serv...