Proof Carrying Code
TheBSD PacketFilter: A New Architecturefor User-levelPacketCapture