DocumentCode
2261355
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
fYear
2003
fDate
20-23 Oct. 2003
Firstpage
366
Lastpage
371
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Networks and Mobile Computing, 2003. ICCNMC 2003. 2003 International Conference on
Print_ISBN
0-7695-2033-2
Type
conf
DOI
10.1109/ICCNMC.2003.1243072
Filename
1243072
Link To Document