Back to Results
First PageMeta Content
Routing / Internet standards / Internet protocols / Multihoming / IPv6 / Site Multihoming by IPv6 Intermediation / Border Gateway Protocol / Communications protocol / IP address / Network architecture / Internet / Computing


Formalization and Verification of the Shim6 Protocol Matthijs Mekking May 2007 Contents
Add to Reading List

Document Date: 2009-06-27 06:07:10

Open Document

File Size: 746,75 KB

Share Result on Facebook

Facility

Radboud University / /

IndustryTerm

travel adventures / upper layer protocol / Internet number resources / Internet Registry / communication technology / successor protocol / Internet standards / Internet Protocol / virtual network / wireless computers / faster processing / Internet access points / important and most often used Internet protocols / Internet user / /

Organization

Wouter Wijngaards of the NLnet Labs / Internet Engineering Task Force / Radboud University / NLnet Labs / /

Person

Wouter Wijngaards / Olaf Kolkman / Frits Vaandrager / Van Langevelde / Theo Schouten / /

Position

supervisor / /

Technology

routing information protocol / IPv6 / multihoming protocol / IP / Shim6 Protocol / 2.2 Protocol / upper layer protocol / Internet protocols / mobile phones / IPv4 / communication technology / referenced protocol / successor protocol / 2.2 Reachability protocol / /

SocialTag