Proof Carrying Code
the packet filter : an efficient mechanism for user - level network code .