.NFC Mobile Coupon Protocols: Developing, Formal Security Modelling and Analysis, and Addressing Relay Attack

Professor Steve SchneiderALI ABDULRAHMAN ALI ALSHEHRI2022-05-262022-05-2625960https://drepo.sdl.edu.sa/handle/20.500.14154/31248.NFC Mobile Coupon Protocols: Developing, Formal Security Modelling and Analysis, and Addressing Relay AttackThesis