loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2003 International Conference on Computer Networks and Mobile Computing (ICCNMC'03)
Analysis for Active Network Security Abased on Pi-Calculus Model
Shanghai, China
October 20-October 23
ISBN: 0-7695-2033-2
ASCII Text
x 
 
ZhengYou Xia, YiPing Zhong, ShiYong Zhang, "Analysis for Active Network Security Abased on Pi-Calculus Model," Computer Networks and Mobile Computing, International Conference on, pp. 366, 2003 International Conference on Computer Networks and Mobile Computing (ICCNMC'03), 2003.
 
 
BibTex
x
 
@article{ 10.1109/ICCNMC.2003.1243072,
author = {ZhengYou Xia and YiPing Zhong and ShiYong Zhang},
title = {Analysis for Active Network Security Abased on Pi-Calculus Model},
journal ={Computer Networks and Mobile Computing, International Conference on},
volume = {0},
year = {2003},
isbn = {0-7695-2033-2},
pages = {366},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICCNMC.2003.1243072},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Networks and Mobile Computing, International Conference on
TI - Analysis for Active Network Security Abased on Pi-Calculus Model
SN - 0-7695-2033-2
SP
EP
A1 - ZhengYou Xia,
A1 - YiPing Zhong,
A1 - ShiYong Zhang,
PY - 2003
KW - \pi-calculus
KW - active network
KW - threat model
KW - calculus model
VL - 0
JA - Computer Networks and Mobile Computing, International Conference on
ER -
 
ZhengYou Xia, Fudan University Shanghai
YiPing Zhong, Fudan University Shanghai
ShiYong Zhang, Fudan University Shanghai
In order to search and analysis the threat model of active network, we hope to present a kind of strict and mathematic model analysis for active network security.We use the \pi-calculus to analyze the security relation of active network components and respectively present calculus model for active node, active code/packet, EE, and user. The threat system calculus model is also proposed and proved that it is congruence. Finally, the conclusion is presented in this paper
Index Terms:
\pi-calculus, active network, threat model, calculus model
Citation:
ZhengYou Xia, YiPing Zhong, ShiYong Zhang, "Analysis for Active Network Security Abased on Pi-Calculus Model," iccnmc, pp.366, 2003 International Conference on Computer Networks and Mobile Computing (ICCNMC'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.