Browse > Article

Verifying Active Network Applications  

Park, Jun-Cheol (Dept. of Computer Engineering, Hongik University)
Publication Information
Journal of KIISE:Information Networking / v.29, no.5, 2002 , pp. 510-523 More about this Journal
Abstract
The routers in an active network perform customized computations on the messages flowing through them, while the role of routers in the traditional packet network, such as the Internet, is to passively forward packets as fast as possible. In contrast to the Internet, the processing in active networks can be customized on a per user or per application basis. Active networks allow users to inject information into the network, where the information describes or controls a program to be executed for the users by the routers as well as the end hosts. So the network users can realize the active networks by "programming" the network behavior via the programming interface exposed to them. In this paper, we devise a network protocol model and present a verification technique for reasoning about the correctness of an active application defined using the model. The technique is developed in a platform- and language-independent way, and it is algorithmic and can be automated by computer program. We give an example dealing with network auction to illustrate the use of the model and the verification technique.
Keywords
active network; router; protocol model; verification;
Citations & Related Records
연도 인용수 순위
  • Reference
1 D. Alexander, ALIEN: A Generalized Computing Model of Active Networks, PhD thesis, University of Pennsylvania, 1998
2 D. Alexander et al., 'A Secure Active Network Environment Architecture: Realization in Switch Ware,' IEEE Network, 12(3), 1998   DOI   ScienceOn
3 M. Hicks et al., 'PLAN: A Packet Language for Active Networks,' Proc. of the 1998 ACM SIGPLAN Int'l Conf. on Functional Programming (ICFP'98), September 1998
4 M. Hicks and A. Keromytis, 'A Secure PLAN,' Proc. of the First Int'l Working Conf. on Active Networks, June 1999
5 J. Moore, 'Safe and Efficient Active Packets,' Technical Report MS-CIS-99-24, Dept. of Computer and Information Science, University of Pennsylvania, October 1999
6 I. Wakeman et al., 'Designing a Programming Language for Active Networks,' http://www.cogs.susx.ac.uk/projects/safetynet, January 1999
7 E. Nygren, S. Garland, and M. Kaashoek, 'PAN: A High-performance Active Network Node Supporting Multiple Mobile Code Systems,' Proc. of the 1999 IEEE Second Conference on Open Architectures and Network Programming(OPENARCH'99), March 1999   DOI
8 B. Schwartz et al., 'Smart Packets for Active Networks,' Proc. of the 1999 IEEE Second Conference on Open Architectures and Network Programming(OPENARCH'99), March 1999   DOI
9 D. Wetherall, J. Guttag, and D. Tennenhouse,' ANTS: A Toolkit for Building and Dynamically Deploying Network Protocols,' Proc. of the 1998 IEEE Conference on Open Architectures and Network Programming(OPENARCH'99), April 1999   DOI
10 J. Hartman et al., 'Liquid Software: A New Paradigm for Networked Systems,' Technical Report TR96-11, Department of Computer Science, University of Arizona, 1996
11 S. Bhattacharjee, K. Calvert, and E. Zegura, 'An Architecture for Active Networking,' Proc. of IEEE INFOCOM'97, April 1997
12 Y. Yemini and S.da Silva, 'Towards Programmable Networks,' Proc.IFIP/IEEE Int'l Workshop on Distributed Systems, Operations, and Management, 1996
13 J. Morre, M. Hicks and S. Nettles, 'Practical Programmable Packets,' Proc. of IEEE INFOCOM 2001, April 2001   DOI
14 D. Tennenhouse et al., 'A Survey of Active Network Research,' IEEE Communications Magazine, January 1997   DOI   ScienceOn
15 C. Gunter, S. Nettles, and J. Smith, 'The SwitchWare Active Network Architecture,' IEEE Network, 12(3), 1998   DOI   ScienceOn
16 DARPA AN Node OS Working Group, NodeOS Interface Specification, http://www.cs.princeton.edu/nsg/papers/nodeos99.ps, January 2000
17 J. Gosling and H. McGilton, The Java Language Environment: A White Paper, Sun Microsystems, 1995
18 S. Bhattacharjee, K. Calvert, and E. Zegura, 'Reasoning About Active Network Protocols,' Proc. of IEEE Int'l Conf. on Network Protocols(ICNP'98), 1998   DOI
19 L. Cacciari and O. Rafiq, 'A Temporal Reachability Analysis,' Proc. XV IFTP Symp. Protocol Specification, Testing and Verification, 1995
20 G. Singh and Z. Mao, 'Structured Design of Communication Protocols,' Proc. of IEEE Int'l Conf. on Network Protocols(ICNP'94), 1994
21 C.-M. Huang and S.-W. Lee, 'Timed Protocol Verification for Estelle-Specified Protocols,' ACM SIGCOMM Comput. Commun. Review, 25(3), 1993   DOI
22 D. Decasper and B. Plattner, 'DAN: Distributed Code Caching for Active Networks,' Proc. of IEEE INFOCOM'98, March/April 1998   DOI
23 DARPA AN Architecture Working Group, Architectural Framework for Active Networks, http://www.cc.gatech.edu/projects/canes/papers/arch-1-0.pdf, July 1999
24 H. Lin, 'A Methodology for Constructing Communication Protocols With Multiple Concurrent Functions,' Distributed Computing, 3, 1994   DOI
25 D. Tennenhouse and D. Wetherall, 'Towards an Active Network Architecture,' Computer Communication Review 26(2), April 1996   DOI