70 search results - page 1 / 14 » Splitting Interfaces: Making Trust Between Applications and ... |
OSDI
2006
ACM
14 years 5 months ago
2006
ACM
In current commodity systems, applications have no way of limiting their trust in the underlying operating system (OS), leaving them at the complete mercy of an attacker who gains...
RAID
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. In this paper we describe an interface between intrusion detection systems and trusted system components. The approach presented differs from conventional intrusion dete...
SP
2009
IEEE
13 years 12 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
OSDI
2006
ACM
14 years 5 months ago
2006
ACM
HiStar is a new operating system designed to minimize the amount of code that must be trusted. HiStar provides strict information flow control, which allows users to specify preci...
AICCSA
2006
IEEE
13 years 11 months ago
2006
IEEE
The increased complexity, heterogeneity and the dynamism of networked systems and services make current control and management tools to be ineffective in managing and securing suc...