23 search results - page 1 / 5 » Untrusted Hosts and Confidentiality: Secure Program Partitio... |
SOSP
2001
ACM
14 years 4 months ago
2001
ACM
TOCS
2002
13 years 7 months ago
2002
This paper presents secure program partitioning, a language-based technique for protecting confidential data during computation in distributed systems containing mutually untruste...
SP
2003
IEEE
14 years 22 days ago
2003
IEEE
A challenging unsolved security problem is how to specify and enforce system-wide security policies; this problem is even more acute in distributed systems with mutual distrust. T...
LISA
2008
13 years 9 months ago
2008
Two common tools in Linux- and UNIX-based environments are SSH for secure communications and sudo for performing administrative tasks. These are independent programs with substant...
UTP
2010
13 years 5 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...