1081 search results - page 30 / 217 » Towards Application Security on Untrusted Operating Systems |
TPHOL
2005
IEEE
14 years 2 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
—This paper presents a new two-levels page-based memory bus protection scheme. A trusted Operating System drives a hardware cryptographic unit and manages security contexts for e...
ACNS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Users of online-collaboration tools and network storage services place considerable trust in their providers. This paper presents a novel approach for protecting data int...
COOPIS
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper makes two main contributions towards establishing support for application-specific factors in middleware security mechanisms. First, it develops a simple classification...
HPCN
1999
Springer
14 years 28 days ago
1999
Springer
We describe a prototypical storage service through which we are addressing some of the open storage issues in wide-area distributed high-performance computing. We discuss some of t...