Formal Modeling and Verification of Security Property in Handel C Program. - Yujian Fu; Jeffery Kulick; Lok K. Yan; Steven Drager 001 (Int. J. Secur. Softw. Eng., 2012)