NDLI: Modelling Smart Card Security Protocols in SystemC TLM

Content Provider	IEEE Xplore Digital Library
Author	Bushager, A. Zwolinski, M.
Copyright Year	2010
Abstract	Smart cards are an example of advanced chip technology. They allow information transfer between the card holder and the system over secure networks, but they contain sensitive data related to both the card holder and the system, that has to be kept private and confidential. The objective of this work is to create an executable model of a smart card system, including the security protocols and transactions, and to examine the strengths and determine the weaknesses by running tests on the model. The security objectives have to be considered during the early stages of systems development and design, an executable model will give the designer the advantage of exploring the vulnerabilities early, and therefore enhancing the system security. The Unified Modeling Language (UML) 2.0 is used to model the smart card security protocol. The executable model is programmed in SystemC with the Transaction Level Modeling (TLM) extensions. The final model was used to examine the effectiveness of a number of authentication mechanisms with different probabilities of failure. In addition, a number of probable attacks on the current security protocol were modeled to examine the vulnerabilities. The executable model shows that the smart card system security protocols and transactions need further improvement to withstand different types of security attacks.
Starting Page	637
Ending Page	643
File Size	440463
Page Count	7
File Format	PDF
ISBN	9781424497195
DOI	10.1109/EUC.2010.102
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2010-12-11
Publisher Place	China
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Biometrics Smart cards Protocols Transaction Level Modelling Unified modeling language Receivers Smart Cards Software Modelling Languages Security SystemC
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Model-Driven Code Generation for Secure Smart Card Applications

SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications

Systemc tlm transaction modelling and dispatch for active objects abstract.

Model-Driven Testing of Security Protocols with SecureMDD

Multi-level Authentication Scheme Utilizing Smart Cards and Biometrics

SystemC transaction level models and RTL verification

Reactivity in systemc transaction-level models.

Design for verification of SystemC transaction level models

Proving transaction and system-level properties of untimed SystemC TLM designs

Modelling Smart Card Security Protocols in SystemC TLM

Similar Documents

Model-Driven Code Generation for Secure Smart Card Applications

SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications

Systemc tlm transaction modelling and dispatch for active objects abstract.

Model-Driven Testing of Security Protocols with SecureMDD

Multi-level Authentication Scheme Utilizing Smart Cards and Biometrics

SystemC transaction level models and RTL verification

Reactivity in systemc transaction-level models.

Design for verification of SystemC transaction level models

Proving transaction and system-level properties of untimed SystemC TLM designs

Modelling Smart Card Security Protocols in SystemC TLM