Researches on process algebra based rootkits-immune mechanism | IEEE Conference Publication | IEEE Xplore