Towards an active network architecture
ACM SIGCOMM Computer Communication Review
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A survey of active network research
IEEE Communications Magazine
Model checking active networks with SPIN
Computer Communications
Integration of Reliability and Performance Analyses for Active Network Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
Active Networks are a new type of networks where all elements are programmable. Active packets can contain fragments of code to be executed on intermediate nodes they pass through. Active nodes provide the necessary environment and resources for the packets to be processed. In giving the users the capability to program the network as they desire, there is an issue of security risks. This paper presents a formal model for an active node that can be used to specify and verify the correct operation of the node. The model is used to verify that scenarios where privacy of data is violated or functionality of a node is compromised never occur. The proposed model is generic to any type of active node and is written using the Prototype Verification System (PVS).