LARA++ Design Specification

LARA++ Design Specification (2000)

Cached

Download Links

[www.landmarc.net]

by Stefan Schmid

BibTeX

@MISC{Schmid00lara++design,
    author = {Stefan Schmid},
    title = {LARA++ Design Specification},
    year = {2000}
}

Bookmark

OpenURL

Abstract

This report presents a snap shot of work in progress regarding the active network research at Lancaster University.

Citations

1023	The Java Virtual Machine Specification - Lindholm, Yellin - 1996
1016	Proof-carrying code - Necula - 1997
742	Decentralized trust management - Blaze, Feigenbaum, et al. - 1996
579	The x-Kernel: An Architecture for Implementing Network Protocols - Hutchinson, Peterson - 1991
381	Safe Kernel Extensions without Run-time Checking - Necula, Lee
369	Towards an Active Network Architecture - Tennenhouse, Wetherall - 2002
339	ANTS: A Toolkit for Building and Dynamically Deploying Network Protocols - Wetherall, Guttag, et al. - 1998
135	A type-based compiler for Standard ML - Shao, Appel - 1995
128	Compiling with Proofs - Necula - 1998
127	The Use of RSVP with - Wroclawski - 1997
118	Active network vision and reality: Lessons from a capsule-based system - Wetherall - 1999
108	EMail with a Mind of its Own: The Safe-Tcl Language for Enabled Mail - Borenstein - 1994
101	Towards Programmable Networks - Yemini, Silva, et al. - 1996
97	C: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation - Engler, Hsieh, et al. - 1996
90	Active Reliable Multicast - Lehman, Garland, et al. - 1998
86	YESSIR: A Simple Reservation Mechanism for the Internet - Pan, Schulzrinne - 1999
80	Java intermediate bytecodes - Gosling - 1995
76	et al, RTP: a transport protocol for real time application - Schulzrinne - 1996
51	Architectural Framework for Active Networks Version 1.0 - Calvert - 1999
51	Integrating segmentation and paging protection for safe, efficient and transparent software extensions - CHIUEH, VENKITACHALAM, et al. - 1999
46	et al., “Resource ReSerVation - Braden - 1997
44	E cient representation and validation of logical proofs - Necula, Lee - 1997
39	et al., A Survey of Active Networks Research - Tennenhouse - 1997
37	The Java Language Environment: A White Paper. Sun Microsystems - Gosling, McGilton - 1994
36	M.J.: Authentication and authenticated key exchanges. Design Codes Cryptography 2 - Diffie, Oorschot, et al. - 1992
33	Typed cross-module compilation - Shao - 1998
29	et al. RSVP: A new resource reservation protocol - Zhang - 1993
24	et al. Extensibility, safety and performance in the SPIN operating system - Bershad - 1995
21	Using the Flow Label Field - Partridge - 1995
16	A Defence against Address Spoofing using Active Networks - Van - 1996
14	et al, “Active Network Encapsulation Protocol (ANEP)”. http://www.cis.upenn.edu/switchware/ANEP/docs/A NEP.txt - Alexander - 1997
13	et al.: The Switchware Active Network Architecture - Alexander - 1998
13	SOFTNET - An approach to high level packet communication - Zander, Forchheimer - 1983
10	et al. Active Bridging - Alexander - 1997
7	et al., “Real Time Streaming - Schulzrinne - 1998
6	et al, A Secure Active Network Environment Architecture. http://www.cis.upenn.edu/ angelos/sane.ps.gz - Alexander - 1998
6	Also known as: 59 Fed Reg 35317 - Standard - 1995
4	et al. PLAN: A Programming Language for Active Networks. http://www.cis.upenn.edu/ ~switchware/papers/plan.ps - Hicks - 1997
4	The network flow language: A mark-based approach to active networks - Yemini, Silva, et al. - 1999
3	Scaling proof-carrying code to production compilers and security Verification (model-checking) Code accepted - Appel, Felten, et al. - 1999
3	Composable Services for Active Networks. Active Network Composable Services Working Group Draft - Zegura - 1998
3	NodeOS Interface Specification. Active Networks NodeOS Working - Peterson - 2002
3	A Prototype System for Supporting High Performance Active Networking - LARA - 1999
2	Protocol boosters. Submitted to - Feldmeier, McAuley, et al. - 1997
2	et al. Bowman: A Node OS for Active Networks - Merugu - 2000
2	Improving RSVP for Better Support - Mathy, Hutchison, et al. - 1999
1	Active Error Recovery (AER). http://www.tascnets.com/panama/AER - AER
1	et al. Efficient and Language-Independet Mobile Programs - Adl-Tabatabei - 1996
1	et al. The SwitchWare Active Network Implementation - Alexander
1	Security Architecture for Active Nets. Active Network Working Group Draft - Murphy - 1998