89 search results - page 5 / 18 » Compiled Labelled Deductive Systems for Access Control |
POPL
2012
ACM
13 years 5 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
106
Voted
CSFW
2012
IEEE
12 years 12 months ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
ECAI
2010
Springer
14 years 9 months ago
2010
Springer
Knowledge compilation [6, 5, 14, 8] consists in transforming a problem offline into a form which is tractable online. In this paper, we introduce new structures, based on the notio...
PLDI
2009
ACM
15 years 4 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
80
Voted
SP
2007
IEEE
15 years 3 months ago
2007
IEEE
Existing mandatory access control systems for operating systems are difficult to use. We identify several principles for designing usable access control systems and introduce the...