Tracing secure information flow through mode changes

Colin J. Fidge, Tim McComb. Tracing secure information flow through mode changes. In Vladimir Estivill-Castro, Gillian Dobbie, editors, Computer Science 2006, Twenty-Nineth Australasian Computer Science Conference (ACSC2006), Hobart, Tasmania, Australia, January 16-19 2006. Volume 48 of CRPIT, pages 303-310, Australian Computer Society, 2006. [doi]