DocumentCode
2235661
Title
An approach to improve process algebra based protocol composition model
Author
Xiaoming Tian ; Qiuxin Wu
Author_Institution
Coll. of Sci., Beijing Inf. Sci. & Technol. Univ., Beijing, China
fYear
2012
fDate
Oct. 30 2012-Nov. 1 2012
Firstpage
666
Lastpage
669
Abstract
On basis of analyzing a CSP based protocol composition model, we make the improvement from basic components, combined component interaction rules, responder process, and add in responder interactive process and data receiving process, in order to make this model more completeness.
Keywords
communicating sequential processes; computer network security; protocols; CSP based protocol composition model; basic components; combined component interaction rules; communicating sequential process; data receiving process; process algebra based protocol composition model; responder interactive process; responder process; Algebra; Analytical models; Authentication; Data models; Process control; Protocols; CSP (Communicating Sequential Processes); Combined CSP protocol model; Component;
fLanguage
English
Publisher
ieee
Conference_Titel
Cloud Computing and Intelligent Systems (CCIS), 2012 IEEE 2nd International Conference on
Conference_Location
Hangzhou
Print_ISBN
978-1-4673-1855-6
Type
conf
DOI
10.1109/CCIS.2012.6664258
Filename
6664258
Link To Document