Mathematics, Physics, Informatics

Security Analysis of a „Location-stamping” Protocol for GPS Coordinates

Published:
June 19, 2017
Author
View
License

Copyright (c) 2017 by the authors

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

How To Cite
Selected Style: APA
Ádámkó, Éva. (2017). Security Analysis of a „Location-stamping” Protocol for GPS Coordinates. International Journal of Engineering and Management Sciences, 2(2), 1-12. https://doi.org/10.21791/IJEMS.2017.2.1.
Abstract

Due to the rapid growth of GNSS based techniques in everyday life a service which can provide certified location information given by GPS coordinates became a worth considering idea. We designed two protocols that can  achieve this goal, these can provide authenticate location and time information for any device which has a GPS receiver. In this article, I would like to prove -with the help of ProVerif software tool-, the latter statement. I investigated the authenticity and data integrity properties of the protocol.

Database Logos