New research project makes the internet even better
How is it that the internet works so well, with billions of users sending millions of gigabytes all together every day? That's because the foundation of the internet is solidly set up. Yet sometimes there are problems on the internet. For example, when certain systems misbehave and disrupt the routing of internet packets.
In the new Verified Reowolf project, researchers are developing a mathematical framework with which to formally analyze essential internet protocols. Hans-Dieter Hiep, affiliated with the Leiden Institute for Advanced Computer Science (LIACS), is the initiator and principal investigator of the project and explains how it works.
Why does the internet work so well, anyway?
'Almost everyone uses the internet every day. People make video calls, stream media, send emails and make digital payments. Already in 2016, global annual internet traffic reached 1 zettabyte or 1 trillion gigabytes.' Hiep explains that the internet is made up of a number of public protocols. 'A protocol is an agreement between computing devices that allows connected machines to communicate with each other in a certain way,' Hiep says. He gives the Internet Protocol (IP) as an example. This describes the basic unit of communication on the internet: the packet, named after the material postal packet.
Hiep explains. 'Postal packets go all over the world: people collect them in depots for further shipment and there are various ways to move them between depots, for example by truck, train, ship or plane. In the same way, internet packets are sent around the world. The virtual version of depots are routers, and there are various ways for packets to travel between routers. This can be done via wireless radio, copper cabling or fiber optics.'
When a packet travels through a network of routers, how does each router along the way know where each packet should go?
'Unlike postal packets, you can't always geographically link the destination of a virtual internet packet to a router near the destination. Instead, one has grouped routers into so-called Autonomous Systems (ASs). For this, one uses a different protocol, namely the Border Gateway Protocol (BGP).' Hiep explains that within this BGP it is possible to exchange and update routing information between the ASes, so that the internet remains connected worldwide. 'This ensures that internet packets can be sent around the world in a fast and efficient manner.'
But sometimes problems occur: either by accident or with malicious intent. If certain ASes misbehave, they redirect internet packets to undesirable parts of the network. Or they even disrupt the entire routing on the internet, making service providers massively unavailable.
How is Verified Reowolf connected to these protocols and their potential problems?
'In the new Verified Reowolf project, we are researching and developing a mathematical framework in which we formally analyze essential internet protocols. We use that framework for insecurity discovery. Emerging insecurity is the concept where all individual systems behave correctly, but problems still occur on a global scale. Furthermore, we develop tools that can be used to improve and ensure the quality of computing devices that communicate according to internet protocols. This is important for the long-term stability of the internet, and thus indirectly for everything else we build on top of it in the future.'
The project is funded by Stichting NLnet and the EU-supported Next Generation Internet (NGI) Assure fonds. The project is being carried out in cooperation with the Computer Security group from the Center for Mathematics & Computer Science (CWI). More information on the research project page.