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]

Authors

Colin J. Fidge

This author has not been identified. Look up 'Colin J. Fidge' in Google

Tim McComb

This author has not been identified. Look up 'Tim McComb' in Google