6555 search results - page 665 / 1311 » Secure attribute-based systems |
218
click to vote
CCS
2005
ACM
16 years 29 days ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
225
click to vote
ECOOP
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. Software systems obey the 80/20 rule: aggressively optimizing a vital few execution paths yields large speedups. However, finding the vital few paths can be difficult, e...
233
click to vote
AGENTS
2001
Springer
15 years 12 months ago
2001
Springer
Agents are intended to interact in open systems where the knowledge about others (reputation) is incomplete and uncertain. Also, this knowledge about other agents is subjective si...
180
click to vote
CSFW
1998
IEEE
15 years 11 months ago
1998
IEEE
Existing work on inference detection for database systems mainly employ functional dependencies in the database schema to detect inferences. It has been noticed that analyzing the...
213
click to vote
ESORICS
2007
Springer
15 years 11 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...