Verifying Security Perimeters...