Keynote Speaker
Formal method for securing mutual NFC authentication protocol over LTE network
Chan Yeob Yeun, Khalifa University, Abu Dhabi, The United Arab Emirates (UAE)
Abstracts:
NFC (Near Field Communication) has a good adaptable structure that
it can be easily combined with any wireless network. Since NFC can be
used to communicate without using a proper wire, all the transactions
can be done remotely without any physical connections. In this paper, we
propose a new authentication protocol based on LTE network to secure
the NFC. Our protocol enhances the security level provided by the LTE.
Our approach is new in a sense that it covers LTE in contrast to old
networks like GSM & 3G substantially treated in the literature.
Moreover, both GSM and 3G have several drawbacks when they are combined
with the NFC technology, which has potential weakness in
confidentiality, integrity, and authentication. Hence our new approach
will resolve the security of the new LTE system. Also, we presented
security analysis of our protocol based on the formal method, ProVerif.
Finally, we expect that our protocol may result in new secure
applications for the smart phone markets.
Link: http://www.im.ndhu.edu.tw/files/11-1036-11957.php
Link: http://www.im.ndhu.edu.tw/files/11-1036-11957.php
