PLAN: A packet language for active networks

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 34, Issue 1, 1999, Pages 86-93

  Hicks, Michael ^a   Kakkar, Pankaj ^a   Moore, Jonathan T ^a   Gunter, Carl A ^a   Nettles, Scott ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17244380228     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/291251.289431     Document Type: Article

References (30)

1. D. Scott Alexander, William A. Arbaugh, Angelos D. Keromytis, and Jonathan M. Smith. A secure active network architecture. IEEE Network Special Issue on Active and Controllable Networks, 1998. To appear.
2. D. Scott Alexander, Marianne Shaw, Scott M. Nettles, and Jonathan M. Smith. Active bridging. In Proceedings, 1997 SIGCOMM Conference. ACM, 1997.
3. Bell Communications Research Inc. AIN Release 1 Service Logic Program Framework Generic Requirements. FA-NWT-001132.
4. Caml home page. http://pauillac.inria.fr/caml/index-eng.html.
5. D. Clark, Scott Shenker, and L. Zhang. Supporting real-time applications in an integrated service packet network: Architecture and mechanism. In Proceedings, 1992 SIGCOMM Conference, pages 14-26, August 1992.
6. David C. Feldmeier, A. McAuley, and Jonathan M. Smith. Protocol boosters. IEEE Journal on Special Aspects of Communication, 1998. To appear in the issue on Protocol Architectures for the 21st Century.
7. James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison Wesley, 1996.
8. Carl A. Gunter, Scott Nettles, and Peter Homeier. Infrastructure for proof-referencing code. In International Conference on Theorem Proving in Higher Order Logics, 1997.
9. C. Hendrick. Routing Information Protocol. RFC 1058, Rutgers University, June 1988.
10. Michael Hicks. PLAN system security. Technical Report MS-CIS-98-25, Department of Computer and Information Science, University of Pennsylvania, April 1998.
11. ∼switchware/ papers/planet.ps.
12. Dag Johansen, Robbert van Renesse, and Fred B. Schneider. Operating system support for mobile agents. In Proceedings of the 5th Workshop on Hot Topics in Operating Systems, May 1995.
13. Peter Lee and Mark Leone. Optimizing ML with run-time code generation. In Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation, pages 137-148, May 1996.
14. Luc Moreau and Christian Queinnec. Design and semantics of quantum: a language to control resource consumption in distributed computing. In USENIX Conference on Domain Specific Languages (DSL'97), pages 183-197, October 1997.
15. George C. Necula. Proof-carrying code. In Proceedings of the 24th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '97). ACM Press, 1997.
16. George C. Necula and Peter Lee. Safe kernel extensions without run-time checking. In Second Symposium on Operating System Design and Implementation (OSDI '96), 1996.
17. D. Pappalardo. BBN to test RSVP. Network World, 13(50):1,14, December 1996.
18. C. Partridge and A. Jackson. Smart packets. Technical report, BBN, 1996. http://www.net-tech.bbn.com/ smtpkts/smtpkts-index.html.
19. Pizza home page. http://www.math.luc.edu/pizza.
20. David C. Plummer. An Ethernet Address Resolution Protocol. RFC 826, November 1982.
21. J. Postel. User Datagram Protocol. RFC 768, ISI, August 1980.
22. J. Postel. Internet Control Message Protocol. RFC 792, ISI, September 1981.
23. J. Postel. Internet Protocol. RFC 791, ISI, September 1981.
24. ∼qcm.
25. ∼switchweire/ papers/sware.ps, 1996.
26. ∼switchware.
27. Adobe Systems. PostScript Language Reference Manual. Addison-Wesley, 1985.
28. David L. Tennenhouse, Jonathan M. Smith, W. David Sincoskie, David J. Wetherall, and Gary J. Minden. A survey of active network research. IEEE Communications Magazine, 35(1):80-86, January 1997.
29. David J. Wetherall, John Guttag, and David L. Tennenhouse. ANTS: A toolkit for building and dynamically deploying network protocols. In IEEE OPENARCH, April 1998.
30. J. Zander and R. Forchheimer. Softnet - An approach to higher level packet radio. In Proceedings, AMRAD Conference, San Francisco, 1983.