Acknowledgements

This work has been supported in part by DARPA Contract N66001-00-C-8032 (Autonomix) and NSA Contract MDA904-01-C-0926 (SELinux). This work represents the view of the authors and does not necessarily represent the views of WireX, NAI, Intercode or IBM. Thanks to all who have supported this work.

UNIX is a registered trademark of The Open Group in the United States and other countries.

Linux is a trademark of Linus Torvalds.

Other company, product, and service names may be trademarks or service marks of others.