Implementation and Verification of an operating system on a Smart Card

Abstract

Now a day, smart card is used at all government and private sectors at all possible domains. Popularity of smart card has increased because of functionalities provided by it. But at the same time, it increases responsibility of an operating system of smart card. Smart card operating system has to deal with file management aspect and communication standards along with providing support for security mechanism. On top of it multiple application support need to be provided. So, verification of smart card operating system becomes very crucial to make sure that above functionalities are supported with highly secure mechanism for data transfer between smart card and reader.