A parallel model on internet protocol security based on Pi-calculus

IPSec protocol provides security services for network layer of OSI model. With information security becomes acute, its efficiency and security need to be improved. In this paper, we propose a parallel model for IPSec protocol framework based on Pi-calculus, analysing the part that can be paralleled in running process of the protocol and using Pi-calculus to describe message delivery. Then we use Pict, which is a programming language based on Pi-calculus, to implement and verify that compared to serial model, this parallel model gets obvious improvement on both running time and memory using.