2 search results - page 1 / 1 » Xenoservers: Accountable Execution of Untrusted Programs |
HOTOS
1999
IEEE
13 years 9 months ago
1999
IEEE
Many networked applications could benefit from executing closer to the data or services with which they interact. By doing this they may be able to circumvent long communication l...
CASSIS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...