Mathematics, Physics, Informatics
Security Analysis of a „Location-stamping” Protocol for GPS Coordinates
Published:
2017-06-19
Author
View
License
Copyright (c) 2017 by the authors
![Creative Commons License](http://i.creativecommons.org/l/by/4.0/88x31.png)
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.