PostScript language reference manual (2nd ed.)
PostScript language reference manual (2nd ed.)
SIGCOMM '92 Conference proceedings on Communications architectures & protocols
Optimizing ML with run-time code generation
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Safe kernel extensions without run-time checking
OSDI '96 Proceedings of the second USENIX symposium on Operating systems design and implementation
SIGCOMM '97 Proceedings of the ACM SIGCOMM '97 conference on Applications, technologies, architectures, and protocols for computer communication
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Java Language Specification
The Java Language Specification
Operating system support for mobile agents
HOTOS '95 Proceedings of the Fifth Workshop on Hot Topics in Operating Systems (HotOS-V)
Design and semantics of quantum: a language to control resource consumption in distributed computing
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
A survey of active network research
IEEE Communications Magazine
IEEE Journal on Selected Areas in Communications
The SwitchWare active network architecture
IEEE Network: The Magazine of Global Internetworking
JRes: a resource accounting interface for Java
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Smart packets: applying active networks to network management
ACM Transactions on Computer Systems (TOCS)
Expressing meaningful processing requirements among heterogeneous nodes in an active network
Proceedings of the 2nd international workshop on Software and performance
Static and Dynamic Program Compilation by Interpreter Specialization
Higher-Order and Symbolic Computation
SAFKASI: a security mechanism for language-based systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Termination in language-based systems
ACM Transactions on Information and System Security (TISSEC)
A survey of programmable networks
ACM SIGCOMM Computer Communication Review
A software model for flexible & safe adaptation of mobile code programs
Proceedings of the International Workshop on Principles of Software Evolution
A mobile agent-based active network architecture for intelligent network control
Information Sciences—Informatics and Computer Science: An International Journal - Special issue: Intelligent multimedia computing and networking
Composition of Services with Mobile Code
Autonomous Agents and Multi-Agent Systems
Lightweight network support for scalable end-to-end services
Proceedings of the 2002 conference on Applications, technologies, architectures, and protocols for computer communications
Network Programming Using PLAN
ICCL'98 Workshop on Internet Programming Languages
QoS-aware Active Gateway for Multimedia Communication
IDMS '99 Proceedings of the 6th International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services
An Enhanced Mobility Management Mechanism for Active Access Networks
MATA '02 Proceedings of the 4th International Workshop on Mobile Agents for Telecommunication Applications
Active Networking Means Evolution (or Enhanced Extensibility Required)
IWAN '00 Proceedings of the Second International Working Conference on Active Networks
Looking Inside an Active Network: The ANMOS Monitoring Tool
IWAN '00 Proceedings of the Second International Working Conference on Active Networks
Self-Specializing Mobile Code for Adaptive Network Services
IWAN '00 Proceedings of the Second International Working Conference on Active Networks
Certificate Distribution with Local Autonomy
IWAN '00 Proceedings of the Second International Working Conference on Active Networks
IWAN '01 Proceedings of the IFIP-TC6 Third International Working Conference on Active Networks
Evolution in Action: Using Active Networking to Evolve Network Support for Mobility
IWAN '02 Proceedings of the IFIP-TC6 4th International Working Conference on Active Networks
Designing Service-Specific Execution Environments
IWAN '02 Proceedings of the IFIP-TC6 4th International Working Conference on Active Networks
Snow on Silk: A NodeOS in the Linux Kernel
IWAN '02 Proceedings of the IFIP-TC6 4th International Working Conference on Active Networks
Integrated Service Deployment for Active Networks
IWAN '02 Proceedings of the IFIP-TC6 4th International Working Conference on Active Networks
Beyond Flexibility and Reflection: The Virtual Virtual Machine Approach
IWCC '01 Proceedings of the NATO Advanced Research Workshop on Advanced Environments, Tools, and Applications for Cluster Computing-Revised Papers
TINMAN: A Resource Bound Security Checking System for Mobile Code
ESORICS '02 Proceedings of the 7th European Symposium on Research in Computer Security
Using Ambients to Control Resources
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Informatics - 10 Years Back. 10 Years Ahead.
Towards a Programmable Mobile IP
MDM '01 Proceedings of the Second International Conference on Mobile Data Management
New Mechanisms for Extending PLAN Functionality in Active Networks
IWAN '00 Proceedings of the Second International Working Conference on Active Networks
Types, or: Where's the Difference Between CCS and pi?
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Garbage Collector Memory Accounting in Language-Based Systems
SP '03 Proceedings of the 2003 IEEE Symposium on Security and Privacy
An open approach for deploying programming nodes into communication networks
ACM SIGCOMM Computer Communication Review - Workshop on data communication in Latin America and the Caribbean
Reasoning about secrecy for active networks
Journal of Computer Security - CSFW13
Balancing performance and flexibility with hardware support for network architectures
ACM Transactions on Computer Systems (TOCS)
Strong normalisation in the π-calculus
Information and Computation
Design and implementation of a framework for efficient and programmable sensor networks
Proceedings of the 1st international conference on Mobile systems, applications and services
Relational Soft Network and its realization
WISICT '05 Proceedings of the 4th international symposium on Information and communication technologies
AtomCaml: first-class atomicity via rollback
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Building extensible routers using network processors: Research Articles
Software—Practice & Experience
Information and Computation
Mathematical Structures in Computer Science
Reflections on network architecture: an active networking perspective
ACM SIGCOMM Computer Communication Review
A Logical Architecture for Active Network Management
Journal of Network and Systems Management
Edge-Cut Bounds on Network Coding Rates
Journal of Network and Systems Management
Effective thread management on network processors with compiler analysis
Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems
Snow on silk: layering NodeOS functionality on conventional operating systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Active networks
Building layered active services
Computer Networks: The International Journal of Computer and Telecommunications Networking - Active networks
Using active networks technology for dynamic QoS
Computer Networks: The International Journal of Computer and Telecommunications Networking
NSDI'05 Proceedings of the 2nd conference on Symposium on Networked Systems Design & Implementation - Volume 2
SensorWare: Programming sensor networks beyond code update and querying
Pervasive and Mobile Computing
Supercharging planetlab: a high performance, multi-application, overlay network platform
Proceedings of the 2007 conference on Applications, technologies, architectures, and protocols for computer communications
Multimedia data transmission and control using active networks
Computer Communications
Information and Computation
Intelligent fault-tolerant web caching service on application level active networks
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartI
GateScript: a scripting language for generic active gateways
IWAN'04 Proceedings of the 6th IFIP TC6 international working conference on Active networks
A framework for developing mobile network services
IWAN'04 Proceedings of the 6th IFIP TC6 international working conference on Active networks
Using active networking's adaptability in ad hoc routing
IWAN'04 Proceedings of the 6th IFIP TC6 international working conference on Active networks
Active networking for TCP over wireless
IWAN'04 Proceedings of the 6th IFIP TC6 international working conference on Active networks
Dynamic link measurements using active components
IWAN'04 Proceedings of the 6th IFIP TC6 international working conference on Active networks
Formalizing active networks security with seal-calculus
ISPA'03 Proceedings of the 2003 international conference on Parallel and distributed processing and applications
A survey of peer-to-peer security issues
ISSS'02 Proceedings of the 2002 Mext-NSF-JSPS international conference on Software security: theories and systems
Securing the data path of next-generation router systems
Computer Communications
Compiler-Supported Thread Management for Multithreaded Network Processors
ACM Transactions on Embedded Computing Systems (TECS)
An active node management system for secure active networks
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part II
Harnessing self-modifying code for resilient software
WRAC'05 Proceedings of the Second international conference on Radical Agent Concepts: innovative Concepts for Autonomic and Agent-Based Systems
Distributed call-tracking for security
Computer Languages, Systems and Structures
Service-centric networking extensions
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Hi-index | 0.00 |
PLAN (Packet Language for Active Networks) is a new language for programs that form the packets of a programmable network. These programs replace the packet headers (which can be viewed as very rudimentary programs) used in current networks. As such, PLAN programs are lightweight and of restricted functionality. These limitations are mitigated by allowing PLAN code to call node-resident service routines written in other, more powerful languages. This two-level architecture, in which PLAN serves as a scripting or 'glue' language for more general services, is the primary contribution of this paper. We have successfully applied the PLAN programming environment to implement an IP-free internetwork.PLAN is based on the simply typed lambda calculus and provides a restricted set of primitives and datatypes. PLAN defines a special construct called a chunk used to describe the remote execution of PLAN programs on other nodes. Primitive operations on chunks are used to provide basic data transport in the network and to support layering of protocols. Remote execution can make debugging difficult, so PLAN provides strong static guarantees to the programmer, such as type safety. A more novel property aimed at protecting network availability is a guarantee that PLAN programs use a bounded amount of network resources.