14 search results - page 3 / 3 » Enforcing security and safety models with an information flo... |
SIGCOMM
2010
ACM
13 years 6 months ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
TISSEC
2010
13 years 17 days ago
2010
The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...
ACSAC
2002
IEEE
13 years 10 months ago
2002
IEEE
Active Spaces are physical spaces augmented with heterogeneous computing and communication devices along with supporting software infrastructure. This integration facilitates coll...
PLDI
2009
ACM
14 years 19 days ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...