Model checking security properties of control flow graphs. - Besson, Frédéric; Jensen, Thomas; Le Métayer, Daniel; Thorn, Tommy (Journal of Computer Security, 2001)