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
fDate :
Oct. 30 2012-Nov. 1 2012
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;
Conference_Titel :
Cloud Computing and Intelligent Systems (CCIS), 2012 IEEE 2nd International Conference on
Conference_Location :
Hangzhou
Print_ISBN :
978-1-4673-1855-6
DOI :
10.1109/CCIS.2012.6664258
