A formal method for privacy‐preservation in cognitive smart cities. Issue 5 (24th October 2021)