Security Analysis of a „Location-stamping” Protocol for GPS Coordinates
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...
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
Faculty of Engineering, University of Debrecen
2017-06-01
|
Series: | International Journal of Engineering and Management Sciences |
Online Access: | https://ojs.lib.unideb.hu/IJEMS/article/view/4871 |
Summary: | 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.
|
---|---|
ISSN: | 2498-700X |