Rong Peng Keqing He Xiaozhen Zhong SMA Calculus -- A Secure Mobile Agent Calculus. 516-521 2004 conf/IEEEcit/2004 CIT http://csdl.computer.org/comp/proceedings/cit/2004/2216/00/22160516abs.htm db/conf/IEEEcit/IEEEcit2004.html#PengHZ04