A dynamic logic for privacy compliance