253 search results - page 22 / 51 » On the Decidability of the Safety Problem for Access Control... |
CCS
2004
ACM
14 years 2 months ago
2004
ACM
We examine the problem of providing useful feedback about access control decisions to users while controlling the disclosure of the system’s security policies. Relevant feedback...
TASE
2011
IEEE
13 years 3 months ago
2011
IEEE
: This paper addresses the dynamic pricing problem of a single-item, make-to-stock production system. Demand arrives according to Poisson processes with changeable arrival rate dep...
CSE
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Vocabulary alignment is a main challenge in distributed access control as peers should understand each other’s policies unambiguously. Ontologies enable mutual underst...
CSFW
2012
IEEE
11 years 11 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...
ICWS
2008
IEEE
13 years 10 months ago
2008
IEEE
We study the access control integration problem for web services. Organizations frequently use many services, each with its own access control policies, that must interoperate whi...