Abstract:
We present a new scheme for active, or programmable, packets based upon a new packet language, SNAP (Safe Networking with Active Packets). SNAP's semantics permit us to prove that all SNAP programs are safe with respect to network resource usage and evaluation isolation. Furthermore, we describe an implementation of a SNAP interpreter, snapd, which achieves high performance for standard networking tasks. This work represents the rst active packet system that is demonstrated to be both safe and ecient. 1
Citations
|
811
|
Proof-Carrying Code
– Necula
- 1997
|
|
666
|
The Art of Computer Systems Performance Analysis
– Jain
- 1991
|
|
578
|
Efficient software-based fault isolation
– Wahbe, Lucco, et al.
- 1993
|
|
386
|
Internet Protocol
– Postel
- 1981
|
|
321
|
ANTS: A toolkit for building and dynamically deploying network protocols
– Wetherall, Guttag, et al.
- 1998
|
|
311
|
User Datagram Protocol
– Postel
- 1980
|
|
185
|
Internet Control Message Protocol
– Postel, ed
- 1981
|
|
145
|
Plan: A packet language for active networks
– Hicks, Kakkar, et al.
- 1998
|
|
84
|
Active reliable multicast
– Wei, Lehman, et al.
|
|
78
|
Smart Packets for Active Networks
– Schwartz, Jackson, et al.
- 1999
|
|
64
|
Improving the performance of distributed applications using active networks
– Legedza, Wetherall, et al.
- 1998
|
|
63
|
A Simple Network Management Protocol (SNMP
– Case, Fedor, et al.
- 1990
|
|
57
|
Planet: An active internetwork
– Hicks, Moore, et al.
- 1999
|
|
55
|
Optimizing Direct Threaded Code by Selective Inlining
– Piumarta, Riccardi
- 1998
|
|
39
|
PAN: A High-Performance Active Network Node Supporting Multiple Mobile Code Systems
– Nygren, Garland, et al.
- 1999
|
|
25
|
Service Introduction in an Active Network
– Wetherall
- 1999
|
