Verifying Secure Access