Ensuring Secure Information Flow in Partially Reconfigurable Architectures by Means of Process Algebra Analysis | IEEE Conference Publication | IEEE Xplore