Measuring query privacy in location-based services

in Proc. 2nd ACM Conference on Data and Application Security and Privacy (2012)

The popularity of location-based services leads to serious concerns on user privacy. A common mechanism to protect users’ location and query privacy is spatial generalisation. As more user information ... [more ▼]

The popularity of location-based services leads to serious concerns on user privacy. A common mechanism to protect users’ location and query privacy is spatial generalisation. As more user information becomes available with the fast growth of Internet applications, e.g., social networks, attackers have the ability to construct users’ personal profiles. This gives rise to new challenges and reconsideration of the existing privacy metrics, such as k-anonymity. In this paper, we propose new metrics to measure users’ query privacy taking into account user profiles. Furthermore, we design spatial generalisation algorithms to compute regions satisfying users’ privacy requirements expressed in these metrics. By experimental results, our metrics and algorithms are shown to be effective and efficient for practical usage. [less ▲]

Formal analysis of privacy in an eHealth protocol

in Proc. 17th European Symposium on Research in Computer Security (2012)

Editorial message: Special track on software verification and testing

in Proc. 27th Symposium on Applied Computing (2012)

Location-Based Services: Privacy, Security and Assurance

in Digital Enlightenment Yearbook 2012 (2012)

Implementation and Validation of a Localisation Assurance Service Provider

in Proc. 6th ESA Workshop on Satellite Navigation Technologies (2012)

Existing Global Navigation Satellite Systems offer no authentication to the open service signals and so stand-alone receivers are vulnerable to meaconing and spoofing attacks. These attacks interfere with ... [more ▼]

Existing Global Navigation Satellite Systems offer no authentication to the open service signals and so stand-alone receivers are vulnerable to meaconing and spoofing attacks. These attacks interfere with the integrity and authenticity of satellite signals: they can delay signals, or re-broadcast signals. Positioning is thus compromised and location-based services are at risk.This paper describes a solution to mitigate this risk. It is a trusted third-party Localisation Assurance service that informs location-based services providers up to which level a location claimed by client can be trusted. It runs several tests over the localisation data of client receivers and certifies the level of assurance of locations. An assurance level expresses the amount of trust the third-party has that a receiver's location is calculated from integral and authentic satellite signals. [less ▲]

An inductive approach to provable anonymity

in Proc. 6th International Conference on Availability, Reliability and Security (2011)

Analysis of a receipt-free auction protocol in the applied pi calculus

in Proc. 7th Workshop on Formal Aspects in Security and Trust (2011)

A study of the PDGF signaling pathway with PRISM

in Proceedings of the 3rd Workshop on Computational Models for Cell Processes (2011), EPTCS 67

On combining state space reductions with global fairness assumptions

in Proc. 17th International Symposium on Formal Methods (2011)

Verification of a key-chain based TTP transparent CEM protocol

in Proceedings of the 3rd Workshop on Harnessing Theories for Tool Support in Software (2011), ENTCS 274