System level design of a secure healthcare smart card system

Smart card-based healthcare system has several advantages over conventional paper-based systems in terms of security, privacy and portablity. In this study, a secure health care smart card system was designed and simulated. The goal of the project is to design a smart card system which will meet the major requirements of a healthcare identity system. Main features of the proposed system are data storage and secure data transfer. The system is a heterogeneous system with hardware and software components and it was designed using electronic system-level design methodology (ESL) with a top-down approach. It consists of cryptographic primitives, a central processing unit and memory blocks. RSA and AES are used for key share and encryption, respectively. An LFSR is employed to generate pseudo-random numbers which are used for calculating keys. We have used Aldec Active-HDL Student Edition to develop the system and perform mixed-language simulations. We have functionally verified the system using Active-HDL.

[1]  Vincent Rijmen,et al.  Cryptography on smart cards , 2001, Comput. Networks.

[2]  Frank Ghenassia,et al.  Transaction Level Modeling with SystemC , 2005 .

[3]  Peter Alfke,et al.  Efficient Shift Registers, LFSR Counters, and Long Pseudo Random Sequence Generators , 1995 .

[4]  Mike Hendry.  Multi-application Smart Cards: Technology and Applications , 2007 .

[5]  Alfred Menezes,et al.  Handbook of Applied Cryptography , 2018 .

[6]  Bohn Stafleu van Loghum,et al.  Online … , 2002, LOG IN.

[7]  Herman Schmit,et al.  A Model and Methodology for Hardware-Software Codesign , 1993, IEEE Des. Test Comput..

[8]  Thorsten Grotker,et al.  System Design with SystemC , 2002 .

[9]  Giovanni De Micheli,et al.  Readings in hardware / software co-design , 2001 .

[10]  Whitfield Diffie,et al.  New Directions in Cryptography , 1976, IEEE Trans. Inf. Theory.

[11]  Brian Bailey,et al.  ESL Design and Verification: A Prescription for Electronic System Level Methodology , 2007 .

[12]  Helmut Knebl,et al.  Introduction to Cryptography , 2002, Information Security and Cryptography.

[13]  Xilinx Family.  Efficient Shift Registers, LFSR Counters, and Long Pseudo- Random Sequence Generators , 1996 .

[14]  Jack Donovan,et al.  SystemC: From the Ground Up , 2004 .

[15]  Vincent Rijmen,et al.  Advanced Encryption Standard - AES, 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers , 2005, AES Conference.

[16]  Mike Hendry.  Smart card security and applications (2. ed.) , 2001 .

[17]  Peter Alfke,et al.  Linear Feedback Shift Registers in Virtex Devices , 2001 .

[18]  Wolfgang Rankl,et al.  Smart Card Handbook , 1997 .

[19]  Frank Ghenassia.  Transaction-Level Modeling with SystemC: TLM Concepts and Applications for Embedded Systems , 2010 .

[20]  Helena Handschuh,et al.  High Density Smart Cards: New Security Challenges and Applications , 2007, ISSE.