The design philosophy of the DARPA internet protocols
SIGCOMM '88 Symposium proceedings on Communications architectures and protocols
The X-Kernel: An Architecture for Implementing Network Protocols
IEEE Transactions on Software Engineering
Trading packet headers for packet processing
IEEE/ACM Transactions on Networking (TON)
Elements of network protocol design
Elements of network protocol design
Building reliable, high-performance communication systems from components
Proceedings of the seventeenth ACM symposium on Operating systems principles
ACM Transactions on Computer Systems (TOCS)
An axiomatic basis for computer programming
Communications of the ACM
Chord: a scalable peer-to-peer lookup protocol for internet applications
IEEE/ACM Transactions on Networking (TON)
Operating Systems, An Advanced Course
A delay-tolerant network architecture for challenged internets
Proceedings of the 2003 conference on Applications, technologies, architectures, and protocols for computer communications
Internet indirection infrastructure
IEEE/ACM Transactions on Networking (TON)
A layered naming architecture for the internet
Proceedings of the 2004 conference on Applications, technologies, architectures, and protocols for computer communications
Invariants: a new design methodology for network architectures
Proceedings of the ACM SIGCOMM workshop on Future directions in network architecture
Proceedings of the 2005 conference on Applications, technologies, architectures, and protocols for computer communications
Declarative routing: extensible routing with declarative queries
Proceedings of the 2005 conference on Applications, technologies, architectures, and protocols for computer communications
Names, addresses and identities in ambient networks
DIN '05 Proceedings of the 1st ACM workshop on Dynamic interconnection of networks
An architecture for content routing support in the internet
USITS'01 Proceedings of the 3rd conference on USENIX Symposium on Internet Technologies and Systems - Volume 3
An axiomatic basis for communication
Proceedings of the 2007 conference on Applications, technologies, architectures, and protocols for computer communications
Compositional binding in network domains
FM'06 Proceedings of the 14th international conference on Formal Methods
An axiomatic basis for communication
Proceedings of the 2007 conference on Applications, technologies, architectures, and protocols for computer communications
NetComplex: a complexity metric for networked system designs
NSDI'08 Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation
Requirements for routing in the application layer
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Haggle: seamless networking for mobile applications
UbiComp '07 Proceedings of the 9th international conference on Ubiquitous computing
Using ICTs to meet the operational needs of community radio stations in India
Proceedings of the First ACM Symposium on Computing for Development
Forty data communications research questions
ACM SIGCOMM Computer Communication Review
Towards formalizing network architectural descriptions
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Header space analysis: static checking for networks
NSDI'12 Proceedings of the 9th USENIX conference on Networked Systems Design and Implementation
Is SDN the de-constraining constraint of the future internet?
ACM SIGCOMM Computer Communication Review
| Hi-index | 0.00 |
The de facto service architecture of today's communication networks, in particular the Internet, is heterogeneous, complex, ad hoc, and not particularly well understood. With layering as the only means for functional abstraction, and even this violated by middle-boxes, the diversity of current technologies can barely be expressed, let alone analyzed. As a first step to remedying this problem, we present an axiomatic formulation of fundamental forwarding mechanisms in communication networks. This formulation allows us to express precisely and abstractly the concepts of naming and addressing and to specify a consistent set of control patterns and operational primitives, from which a variety of communication services can be composed. Importantly, this framework can be used to (1) formally analyze network protocols based on structural properties, and also to (2) derive working prototype implementations of these protocols. The prototype is implemented as a universal forwarding engine, a general framework and runtime environment based on the Click router.