Yonglong Wei, Xiaojuan Zheng, Jinglei Ren, Xudong Zheng, Chen Sun, Zhenhao Li: Verification of Security-Relevant Behavior Model and Security Policy for Model-Carrying Code. FGIT-SecTech 2009: 148-156