Title :
Analysis for active network security based on pi-calculus model
Author :
Zhengyou, Xia ; Yiping, Zhong ; Shiyong, Zhang
Author_Institution :
Comput. & Inf. Technol. Dept., Fudan Univ., Shanghai, China
Abstract :
In order to search and analyze 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 π-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 congruent. Finally, the conclusion is presented in this paper.
Keywords :
calculus of communicating systems; pi calculus; security of data; telecommunication networks; telecommunication security; active code; active network; active node; active packet; calculus model; mathematical analysis; network security; pi-calculus model; threat system; Calculus; Computer languages; Computer networks; Concurrent computing; Information analysis; Information security; Information technology; Mathematical model; Mathematics; Protection;
Conference_Titel :
Computer Networks and Mobile Computing, 2003. ICCNMC 2003. 2003 International Conference on
Print_ISBN :
0-7695-2033-2
DOI :
10.1109/ICCNMC.2003.1243072
