Proactively Verifying Quantitative Network Policy Across Unsafe and Unreliable Environments | IEEE Journals & Magazine | IEEE Xplore