Dependent Type Theory for Verification of Information Flow and Access Control Policies | Publicación