Abstract
We define a modular approach for specifying and implementing network protocols. Our approach partitions protocols into single function modules called protocol components. Each protocol component is specified in terms of finite state machines, action functions, memory, memory operations, and properties. This specification is amenable to rapid definition of protocol components, rapid composition of protocol components into protocols, and automatic analysis and manipulation of complete protocols.
Author supplied keywords
Cite
CITATION STYLE
Minden, G., Komp, E., Ganje, S., Kannan, A., Subramaniam, S., Tan, S., … Evans, J. (2002). Composite protocols for innovative active services. In Proceedings - DARPA Active Networks Conference and Exposition, DANCE 2002 (pp. 157–164). Institute of Electrical and Electronics Engineers Inc. https://doi.org/10.1109/DANCE.2002.1003490
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
