基于类型的安全移动计算模型
余万涛;胡光锐
计算机应用 . 2006, (1): 72 -0074 .