A Method for Certifying Code in Trust-By-Policy-Adherence. - Zeng Guo-Sun; Li Li (J. Comput., 2011)