An approach to formal desription of the user notification scenarios in privacy policies | IEEE Conference Publication | IEEE Xplore