SMA Calculus – A Secure Mobile Agent Calculus. - Rong Peng; Keqing He 002; Xiaozhen Zhong (CIT, 2004)