Other types of dynamic methods could be applied to eligible packets, depending upon the demands of the application, such as caching, error correction, data compression and of course encryption. Such an Active Packet would find its way to the router nearest to the origin of the attack, requesting a small filter or firewall to be dynamically installed in that router to prevent future attacks. The third speaker was Christian Tschudin of the University of Zuerich, Switzerland. A crucial finding of the Messenger Project was that the network should start as dumb as possible, thereby reducing biased choices, and that all services should where possible be deployed as mobile code. Using this model, he identified two areas where some choices needed to be made in advance of messenger deployment, that is, security and resource allocation.
Security appears to impose choices about the trust and authenticity of both packets and nodes.
Using the latest analytical and semantic techniques of Higher Order Programming, Wakeman and his colleagues developed a design for a language which makes key assumptions about its environment, and that forces most of the important checking to be done at the compilation stage, rather than at run-time. By enforcing very strong typing at the compile stage, the Safetynet language seeks to replace run-time checking with static checking as much as possible, and to fix important policy into programs up front, thereby resulting in higher performance and safer code.