Formalizing active networks security with seal-calculus

Authors:
Xiaojuan Zheng;Tao Xu;Ying Jin
Affiliations:
College of Computer Science and Technology, JILIN University, P. R. China;College of Mechanism, JILIN University, P. R. China;College of Computer Science and Technology, JILIN University, P. R. China
Venue:
ISPA'03 Proceedings of the 2003 international conference on Parallel and distributed processing and applications
Year:
2003

Citing 6
Cited 0

PLAN: a packet language for active networks

ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
A Calculus of Mobile Agents

CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Mobile Ambients

FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Alien: a generalized computing model of active networks

Alien: a generalized computing model of active networks
Active networks: Applications, security, safety, and architectures

IEEE Communications Surveys & Tutorials
Safety and security of programmable network infrastructures

IEEE Communications Magazine

Quantified Score

Hi-index	0.00

Visualization

Abstract

Active Networks (ANs) aims at incorporating programmability into the network to achieve flexibility. However, increasing flexibility results in new security risks, which cannot be handled by existing ANs systems. In this paper, we aim at analyzing the security of ANs in language level based on the active code. First, we present the notion of active packet hierarchy. Next, we abstract the AN with Seal-calculus, and security protection is represented formally in four propositions. Finally, an example is used to address security protection. Our security protection is symmetrical, which protects a host from the untrustworthy active codes that migrate to it as well as active codes from the untrustworthy host where it migrates.