6555 search results - page 598 / 1311 » Secure attribute-based systems |
199
click to vote
ESORICS
2002
Springer
16 years 6 months ago
2002
Springer
Abstract. An important goal of security in information systems is confidentiality. A confidentiality policy specifies which users should be forbidden to acquire what kind of inform...
180
click to vote
CISIS
2010
IEEE
16 years 2 months ago
2010
IEEE
Abstract—Security-by-Contract (S×C) is a paradigm providing security assurances for mobile applications. In this work, we present an extension of S×C enriched with an automatic...
182
click to vote
ICISS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. To ease the analysis of potentially malicious programs, dynamic behavior-based techniques have been proposed in the literature. Unfortunately, these techniques often give...
193
click to vote
SDMW
2009
Springer
16 years 1 months ago
2009
Springer
Provenance access control has been recognized as one of the most important components in an enterprise-level provenance system. However, it has only received little attention in th...
195
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authoriza...