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 |
| _version_ | 1797654324569964544 |
|---|---|
| author | Éva Ádámkó |
| author_facet | Éva Ádámkó |
| author_sort | Éva Ádámkó |
| collection | DOAJ |
| description |
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.
|
| first_indexed | 2024-03-11T16:57:48Z |
| format | Article |
| id | doaj.art-dea2209e9e1a4a0e96a7700f3fe5b4ea |
| institution | Directory Open Access Journal |
| issn | 2498-700X |
| language | English |
| last_indexed | 2024-03-11T16:57:48Z |
| publishDate | 2017-06-01 |
| publisher | Faculty of Engineering, University of Debrecen |
| record_format | Article |
| series | International Journal of Engineering and Management Sciences |
| spelling | doaj.art-dea2209e9e1a4a0e96a7700f3fe5b4ea2023-10-20T13:19:23ZengFaculty of Engineering, University of DebrecenInternational Journal of Engineering and Management Sciences2498-700X2017-06-012210.21791/IJEMS.2017.2.1.Security Analysis of a „Location-stamping” Protocol for GPS CoordinatesÉva Ádámkó0University of Debrecen, Faculty of Engineering, Department of Basic Technical Studies 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. https://ojs.lib.unideb.hu/IJEMS/article/view/4871 |
| spellingShingle | Éva Ádámkó Security Analysis of a „Location-stamping” Protocol for GPS Coordinates International Journal of Engineering and Management Sciences |
| title | Security Analysis of a „Location-stamping” Protocol for GPS Coordinates |
| title_full | Security Analysis of a „Location-stamping” Protocol for GPS Coordinates |
| title_fullStr | Security Analysis of a „Location-stamping” Protocol for GPS Coordinates |
| title_full_unstemmed | Security Analysis of a „Location-stamping” Protocol for GPS Coordinates |
| title_short | Security Analysis of a „Location-stamping” Protocol for GPS Coordinates |
| title_sort | security analysis of a location stamping protocol for gps coordinates |
| url | https://ojs.lib.unideb.hu/IJEMS/article/view/4871 |
| work_keys_str_mv | AT evaadamko securityanalysisofalocationstampingprotocolforgpscoordinates |