857 search results - page 97 / 172 » A Formal Framework for Adaptive Access Control Models |
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Modern multiuser software systems have adopted RoleBased Access Control (RBAC) for authorization management. This paper presents a formal model for RBAC policy validation and a st...
PKC
2012
Springer
11 years 10 months ago
2012
Springer
Abstract. In the standard setting of broadcast encryption, information about the receivers is transmitted as part of the ciphertext. In several broadcast scenarios, however, the id...
FSTTCS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
MOZ
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Although Constraint Programming (CP) is considered a useful tool for tackling combinatorial problems, its lack of flexibility when dealing with uncertainties and prefere...
FMCAD
2006
Springer
13 years 11 months ago
2006
Springer
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...