Sciweavers

4 search results - page 1 / 1
» Privtrans: Automatically Partitioning Programs for Privilege...
Sort
View
USS
2004
13 years 6 months ago
Privtrans: Automatically Partitioning Programs for Privilege Separation
Privilege separation partitions a single program into two parts: a privileged program called the monitor and an unprivileged program called the slave. All trust and privileges are...
David Brumley, Dawn Xiaodong Song
USS
2008
13 years 7 months ago
NetAuth: Supporting User-Based Network Services
In User-Based Network Services (UBNS), the process servicing requests from user U runs under U's ID. This enables (operating system) access controls to tailor service authori...
Manigandan Radhakrishnan, Jon A. Solworth
JAIR
1998
97views more  JAIR 1998»
13 years 4 months ago
The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference
It is common to view programs as a combination of logic and control: the logic part de nes what the program must do, the control part how to do it. The Logic Programming paradigm ...
Oleg Ledeniov, Shaul Markovitch
WCRE
1999
IEEE
13 years 9 months ago
Restructuring Functions with Low Cohesion
We present a technique for restructuring functions with low cohesion into functions with high cohesion. Such restructuring is desirable when re-architecting a legacy system into a...
Arun Lakhotia, Jean-Christophe Deprez