Abdullah Ali Alshehri

Affiliations:

According to our database¹, Abdullah Ali Alshehri authored at least 4 papers between 2013 and 2015.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2015

NFC mobile coupon protocols : developing, formal security modelling and analysis, and addressing relay attack.

[BibT_eX]

[DOI]

PhD thesis, 2015

A formal framework for security analysis of NFC mobile coupon protocols.

[BibT_eX]

[DOI]

J. Comput. Secur., 2015

2013

Formally defining NFC M-coupon requirements, with a case study.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference for Internet Technology and Secured Transactions, 2013

Formal Security Analysis and Improvement of a Hash-Based NFC M-Coupon Protocol.

[BibT_eX]

[DOI]

Proceedings of the Smart Card Research and Advanced Applications, 2013