Interactive Transparent Networking: Protocol meta modeling based on EFSM

the extensibility and evolution of network services and protocols had become a major research issue in recent years. The 'programmable' and 'active' network paradigms have been trying to solve the problems emanating from the immutable organization of network software layers by allowing arbitrary custom codes to be embedded inside network layers. In this work, we propose a new approach for building extensible network systems to support cross-layer optimization. The fundamental idea is to perform a simple, light-weight meta-engineering on the classical OSI protocols' organization to make it interactive and transparent. The protocols become (interactive) since they can provide event notification to service subscribers, and they become (transparent) since they also allow controlled access to their state information. Actual protocol extensions (or modifications) can then be performed at the application space by what we call Transientware Modules. This organization provides the infrastructure needed for easy and practical extensions of the current network services and it becomes much easier to address other difficult issues like security and flexibility. We call this mechanism Interactive Transparent Networking (InTraN) and we call the extended kernel InTraN-enabled. We have realized a FreeBSD implementation of the extensible InTraN-enabled kernel. In this paper, we present a formal EFSM-based model for the proposed meta-engineering and illustrate the principles through a real example of TCP extension. Then, we demonstrate how it can be used to realize equivalents of other protocol modifications by showing the InTraN model of 'Snoop' [4].