Automatic Generation of History-Based Access Control from Information Flow Specification