Transforming policies into mechanisms with infokernel

15 years 7 months ago

Download www.cs.wisc.edu

We describe an evolutionary path that allows operating systems to be used in a more ﬂexible and appropriate manner by higher-level services. An infokernel exposes key pieces of information about its algorithms and internal state; thus, its default policies become mechanisms, which can be controlled from user-level. We have implemented two prototype

Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau,

Real-time Traffic

Appropriate Manner | Default Policies | Evolutionary Path | Operating System | SOSP 2003 |

claim paper

» Flexible PolicyDirected Code Safety

» Requirement enforcement by transformation automata

» A PatternDriven Generation of Security Policies for ServiceOriented Architectures

» EndtoEnd Web Application Security

» IPSecVPN Security Policy Correctness Conflict Detection and Resolution

» Transforming and Selecting Functional Test Cases for Security Policy Testing

» Enforcing Messaging Security Policies

» A Theory of Runtime Enforcement with Results

Post Info
More Details (n/a)

Added	17 Mar 2010
Updated	17 Mar 2010
Type	Conference
Year	2003
Where	SOSP
Authors	Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Nathan C. Burnett, Timothy E. Denehy, Thomas J. Engle, Haryadi S. Gunawi, James A. Nugent, Florentina I. Popovici

Comments (0)

Sciweavers

Transforming policies into mechanisms with infokernel

Appropriate Manner | Default Policies | Evolutionary Path | Operating System | SOSP 2003 |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers