Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο:
https://ruomo.lib.uom.gr/handle/7000/107
Τίτλος: | Formal security analysis of near field communication using model checking |
Συγγραφείς: | Alexiou, Nikolaos Basagiannis, Stylianos Petridou, Sophia |
Θέματα: | FRASCATI::Engineering and technology |
Λέξεις-Κλειδιά: | Near field communication Security analysis |
Ημερομηνία Έκδοσης: | Ιου-2016 |
Εκδότης: | Elsevier |
Πηγή: | Computers & Security |
Τόμος: | 60 |
Πρώτη Σελίδα: | 1 |
Τελευταία Σελίδα: | 14 |
Επιτομή: | Near field communication (NFC) is a short-range wireless communication technology envisioned to support a large gamut of smart-device applications, such as payment and ticketing. Although two NFC devices need to be in close proximity to communicate (up to 10 cm), adversaries can use a fast and transparent communication channel to relay data and, thus, force an NFC link between two distant victims. Since relay attacks can bypass the NFC requirement for short-range communication cheaply and easily, it is important to evaluate the security of NFC applications. In this work, we present a general framework that exploits formal analysis and especially model checking as a means of verifying the resiliency of NFC protocol against relay attacks. Toward this goal, we built a continuous-time Markov chain (CTMC) model using the PRISM model checker. Firstly, we took into account NFC protocol parameters and, then, we enhanced our model with networking parameters, which include both mobile environment and security-aware characteristics. Combining NFC specifications with an adversary's characteristics, we produced the relay attack model, which is used for extracting our security analysis results. Through these results, we can explain how a relay attack could be prevented and discuss potential countermeasures. |
URI: | https://doi.org/10.1016/j.cose.2016.03.002 https://ruomo.lib.uom.gr/handle/7000/107 |
ISSN: | 01674048 |
Αλλοι Προσδιοριστές: | 10.1016/j.cose.2016.03.002 |
Εμφανίζεται στις Συλλογές: | Τμήμα Εφαρμοσμένης Πληροφορικής |
Αρχεία σε αυτό το Τεκμήριο:
Αρχείο | Περιγραφή | Μέγεθος | Μορφότυπος | |
---|---|---|---|---|
SPetridou_COSE2016.pdf | COSE Journal | 768,05 kB | Adobe PDF | Προβολή/Ανοιγμα |
Τα τεκμήρια στο Αποθετήριο προστατεύονται από πνευματικά δικαιώματα, εκτός αν αναφέρεται κάτι διαφορετικό.