117 search results - page 4 / 24 » Mediating secure information flow policies |
ACSAC
2003
IEEE
13 years 11 months ago
2003
IEEE
In [1], we proposed a model for policy-based intrusion detection, based on information flow control. In the present paper, we show its applicability and effectiveness on a stand...
CSFW
2004
IEEE
13 years 10 months ago
2004
IEEE
In many systems, items of information have owners associated with them. An owner of an item of information may want the system to enforce a policy that restricts use of that infor...
CBSE
2011
Springer
12 years 6 months ago
2011
Springer
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...
FM
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
ASPLOS
2004
ACM
13 years 11 months ago
2004
ACM
Dynamic information flow tracking is a hardware mechanism to protect programs against malicious attacks by identifying spurious information flows and restricting the usage of sp...