Reasoning about active network protocols

Samrat Bhattacharjee, Kenneth L. Calvert, Ellen W. Zegura

Research output: Contribution to conferencePaperpeer-review

4 Scopus citations


Active Networks allow users to `program' the network infrastructure, by injecting information that describes or controls a distributed algorithm to be executed for the user by the network infrastructure. The nature of the services that can be implemented with such a facility is determined by the programming interface to the active network, i.e. the set of abstractions it exposes to users. The complexity of this interface may range from a few simple parameters to a completely general programming language. We present a model that supports reasoning independently about the correctness of both the underlying active network platform and the algorithms injected into it, in a manner that admits the full range of possible programming interfaces. The model is described without relying on any particular formalism. The interaction between the underlying platform and the user-injected program is captured in a specialized form of program composition that allows properties of each to be preserved. The use of the model is illustrated via an example dealing with mobility. For the example, we use the UNITY formalism to be more precise about the programs and properties that are preserved.

Original languageEnglish
Number of pages10
StatePublished - 1998
EventProceedings of the 1998 International Conference on Network Protocols, ICNP - Austin, TX, USA
Duration: Oct 13 1998Oct 16 1998


ConferenceProceedings of the 1998 International Conference on Network Protocols, ICNP
CityAustin, TX, USA

ASJC Scopus subject areas

  • Software


Dive into the research topics of 'Reasoning about active network protocols'. Together they form a unique fingerprint.

Cite this