Information Flow Security and Recursive Systems