89 search results - page 4 / 18 » Compiled Labelled Deductive Systems for Access Control |
ECEASST
2008
14 years 9 months ago
2008
: We study directed bigraph with negative ports, a bigraphical framework for representing models for distributed, concurrent and ubiquitous computing. With respect to previous vers...
SACMAT
2010
ACM
14 years 8 months ago
2010
ACM
The web is now being used as a general platform for hosting distributed applications like wikis, bulletin board messaging systems and collaborative editing environments. Data from...
DBSEC
2009
14 years 10 months ago
2009
Reflective Database Access Control (RDBAC) is a model in which a database privilege is expressed as a database query itself, rather than as a static privilege in an access control ...
IFIP
2005
Springer
15 years 3 months ago
2005
Springer
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...
94
Voted
PPOPP
2005
ACM
15 years 3 months ago
2005
ACM
Disk subsystem is known to be a major contributor to overall power consumption of high-end parallel systems. Past research proposed several architectural level techniques to reduc...