Four Logics and a Protocol

The Internet Protocol (IP) is the protocol used to provide connectionless communication between hosts connected to the Internet. It provides a basic internetworking service to transport protocols such as Transmission Control Protocol (TCP) and User Datagram Protocol (UDP). These in turn provide both connection-oriented and connectionless services to applications such as file transfer (FTP) and WWW browsing. In this paper we present four separate specifications of the interface to the internetworking layer implemented by IP using four types of logic: classical, constructive, temporal and linear logic

Raising the Datagram API to Support Transport Protocol Evolution

Some application developers can wield huge resources to build new transport protocols, for these developers the present UDP Socket API is perfectly fine. They have access to large test beds and sophisticated tools. Many developers do not have these resources. This paper presents a new high-level Datagram API that is for everyone else, this has an advantage of offering a clear evolutionary path to support new requirements. This new API is needed to move forward the base of the system, allowing developers with limited resources to evolve their applications while accessing new network services

MIB for the UDP-Lite Protocol

Publisher PD

Unicast UDP Usage Guidelines for Application Designers

Publisher PD

DNET: A communications facility for distributed heterogeneous computing

This document describes DNET, a heterogeneous data communications networking facility. DNET allows programs operating on hosts on dissimilar networks to communicate with one another without concern for computer hardware, network protocol, or operating system differences. The overall DNET network is defined as the collection of host machines/networks on which the DNET software is operating. Each underlying network is considered a DNET 'domain'. Data communications service is provided between any two processes on any two hosts on any of the networks (domains) that may be reached via DNET. DNET provides protocol transparent, reliable, streaming data transmission between hosts (restricted, initially to DECnet and TCP/IP networks). DNET also provides variable length datagram service with optional return receipts

Low tech connections into the ARPA internet : the RawPacket split-gateway

This report describes a "low technology" method for connecting into the ARPA Internet. The use of a RawPacket interface in a system which supoprts IP makes possible the construction of a split-gateway between two hosts. The RawPacket interface permits a user-level process to introduce arbitrary packets into the IP layer, resulting in a virtual network interface. Since the split-gateway is implemented using a RawPacket interface, two networks may be connected together using a convenient medium which does not require explicit kernel support. Hence, split-gateways are well-suited for use as stub-gateways, connecting a local network to a long-haul network such as the ARPA backbone. In particular, the split-gateway discussed in this report achieves a reasonable level of connectivity for a comparatively small expenditure.This report details how the RawPacket software and split-gateways are implemented. In addition, various daemon configurations are presented, modifications to the operating environment are discussed, and some performance measurements are given