Verification of Secure Mobile Transaction

Abstract

Verification of Secure Element communication supports contactless and Host In- terference commands for mobile transaction. It gives advanced security which is introduced using different MIFARE cards and Fully Automated setup which runs in Jenkins. Reader supports all the test benches and command interaction with se- cure element that completes communication between card and reader .Certification needful by an end user to assure product being used by them is tested well in all circumstances and given by service providers. The initial phase of this dissertation work gives information of different cards de- veloped by NXP and ISO standards 14443-3, 14443-4 and 7816 which are followed for development and testing of MIFARE cards. The prime focus of this work is to verify whether developed software is following specification designed (Verification) and also validating same (whether its satisfy user requirement). Verification includes reviews of specifications, designs and codes at each phase of soft- ware development. For validation, different test benches are developed for MIFARE classic and MIFARE DESFire cards. Finally,Testing is done on both simulator and hardware.