Congestion avoidance and control
SIGCOMM '88 Symposium proceedings on Communications architectures and protocols
A comparison of mechanisms for improving TCP performance over wireless links
Conference proceedings on Applications, technologies, architectures, and protocols for computer communications
End-to-end arguments in system design
ACM Transactions on Computer Systems (TOCS)
Rethinking the design of the Internet: the end-to-end arguments vs. the brave new world
ACM Transactions on Internet Technology (TOIT)
A survey of programmable networks
ACM SIGCOMM Computer Communication Review
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
Improving TCP performance over mobile networks
ACM Computing Surveys (CSUR)
Symbiotic Streaming of Elastic Traffic on Interactive Transport
ISCC '03 Proceedings of the Eighth IEEE International Symposium on Computers and Communications
Comparative study of various TCP versions over a wireless link with correlated losses
IEEE/ACM Transactions on Networking (TON)
Evolution of an Active Networks Testbed
DANCE '02 Proceedings of the 2002 DARPA Active Networks Conference and Exposition
Securing web application code by static analysis and runtime protection
Proceedings of the 13th international conference on World Wide Web
Performance Study of Link Layer and MAC Layer Protocols to Support TCP in 3G CDMA Systems
IEEE Transactions on Mobile Computing
G-Snoop: enhancing TCP performance over wireless networks
ISCC '04 Proceedings of the Ninth International Symposium on Computers and Communications 2004 Volume 2 (ISCC"04) - Volume 02
Cross-layer wireless multimedia transmission: challenges, principles, and new paradigms
IEEE Wireless Communications
Performance evaluation of wireless TCP with rerouting in mobile networks
Computer Communications
Improving UDP and TCP performance in mobile ad hoc networks with INSIGNIA
IEEE Communications Magazine
Cross-layer-based modeling for quality of service guarantees in mobile wireless networks
IEEE Communications Magazine
High performance mobility without agent infrastructure for connection oriented service
Pervasive and Mobile Computing
| Hi-index | 0.24 |
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' [H. Balakrishnan, S. Seshan, R. Katz, Improving reliable transport and handoff performance in cellular wireless networks, ACM Wireless Networks 1 (1995)].