Bibliography

1

U. C. Berkeley CSRG.
bpf_filter.c.
From 4.4BSD-Lite.

2

Drew Dean, Edward W. Felten, and Dan S. Wallach.
Java Security: From HotJava to Netscape and Beyond.
Proceedings of the IEEE Symposium on Security and Privacy, May 1996.

3

George C. Necula and Peter Lee.
Proof-Carrying Code.
CMU CS Tech Report CMU-CS-96-165, September 1996.

4

George C. Necula and Peter Lee.
Safe Kernel Extensions Without Run-Time checking.
Proceedings of the USENIX Second Symposium on Operating Systems Design and Implementation, October 1996.

5

Michael Sipser.
Introduction to the Theory of Computation.
PWS Publishing Company, Boston, 1997.

6

Intel Corp.
Intel Architecture Software Developer's Manual, Volume 2: Instruction Set Reference.
1999.