@inproceedings{3243a899731740e89bc267621a09ae8a,
title = "Privacy-preserving targeted mobile advertising: Formal models and analysis",
abstract = "Targeted Mobile Advertising (TMA) has emerged as a significant driver of the Internet economy. TMA gives rise to interesting challenges: there is a need to balance privacy and utility; there is a need to guarantee that applications{\textquoteright} access to resources is appropriate; and there is a need to ensure that the targeting of ads is effective. As many authors have argued, formal models are ideal vehicles for reasoning about privacy, as well as for reasoning about the relationship between privacy and utility. To this end, we describe how the formal notation Z has been used to develop formal models to underpin a prototype privacypreserving TMA system. We give consideration to how formal models can help in underpinning the prototype system, in analysing privacy in the context of targeted mobile advertising, and in allowing users to specify control of their personal information.",
author = "Yang Liu and Andrew Simpson",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2016.; 11th International Workshop on Data Privacy Management and Security Assurance, DPM 2016 and 5th International Workshop on Quantitative Aspects in Security Assurance, QASA 2016 ; Conference date: 26-09-2016 Through 27-09-2016",
year = "2016",
doi = "10.1007/978-3-319-47072-6\_7",
language = "英语",
isbn = "9783319470719",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "94--110",
editor = "Giovanni Livraga and Alessandro Aldini and Vicen{\c c} Torra and Fabio Martinelli and Neeraj Suri",
booktitle = "Data Privacy Management and Security Assurance - 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Proceedings",
address = "德国",
}