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 ▲]

A group signature based electronic toll pricing system

in Proc. 7th International Conference on Availability, Reliability and Security (2012)

Selective location blinding using hash chains (transcript of discussion)

in In B. Christianson et al., editor, Proc. 19th Security Protocols Workshop (2011), 7114

Selective location blinding using hash chains

in Proc. 19th International Workshop on Security Protocols (2011)

Attack-Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent

in Proceedings of GameSec 2010 (2010)

Attack-defense trees are used to describe security weaknesses of a system and possible countermeasures. In this paper, the connection between attack-defense trees and game theory is made explicit. We show ... [more ▼]

Attack-defense trees are used to describe security weaknesses of a system and possible countermeasures. In this paper, the connection between attack-defense trees and game theory is made explicit. We show that attack-defense trees and binary zero-sum two-player extensive form game have equivalent expressive power when considering satisfiability, in the sense that they can be converted into each other while preserving their outcome and their internal structure. [less ▲]

Game-based verification of multi-party contract signing protocols

in Proceedings of 7th International Workshop on Formal Aspects in Security and Trust (FAST'09) (2010)

Security protocols for Secret Santa

in Proc. 18th Security Protocols Workshop (2010)

Secure ownership and ownership transfer in RFID systems

in Proc. 14th European Symposium On Research In Computer Security (ESORICS'09) (2009)

A formal framework for quantifying voter-controlled privacy

in Journal of Algorithms in Cognition, Informatics and Logic (2009)

Discovering the core security requirements of DRM systems by means of objective trees

in Handbook of Research on Secure Multimedia Distribution (2009)