NDLI: Simulation based verification of concurrent processing on security devices

Content Provider	IEEE Xplore Digital Library
Author	Talamo, M. Galinium, M. Schunck, C.H. Arcieri, F.
Copyright Year	2013
Description	Author affiliation: Nestor Lab. & Dept. of Eng., Tor Vergata Univ. of Rome, Rome, Italy (Talamo, M.) \|\| Nestor Lab., Tor Vergata Univ. of Rome, Rome, Italy (Schunck, C.H.; Arcieri, F.) \|\| Dept. of Eng., Tor Vergata Univ. of Rome, Rome, Italy (Galinium, M.)
Abstract	Despite the increased use of smartcards in many areas of everyday life the secure interoperability of these devices still remains a significant challenge. Common Criteria certification ensures the secure operation of a particular smartcard in a specific and closed environment and does not explicitly consider potential problems in more open environments where different types of smartcards and their corresponding applications are present at the same time. Since both the range of smartcard applications and the issuing manufacturers continue to grow, the interoperability of smartcards cannot be satisfactorily addressed in an isolated testing and certification environment. Ideally, one should be able to certify that adding a new type of smartcard and a new smartcard application to a such environment is safe without interoperability problems. To conduct this research, we focus on digital signature applications on Common Criteria certified smartcards. We investigated the vulnerabilities of smartcards in such open environments and possible ways to identify and eliminate those using Model Checking approaches. Here we simulate the interaction of many smartcards which interact with their applications via a common middleware. Each smartcard is assumed to execute a Straight Line Program which consists of a series of states or nodes connected by transitions (no loops). We discuss how these results can be taken into account in the design of new types of middleware which can identify and suppress anomalous transitions. These results will help to design systems that support multiple smartcards types and applications simultaneously and securely.
Sponsorship	IEEE Syst. Council
Starting Page	82
Ending Page	87
File Size	620834
Page Count	6
File Format	PDF
ISBN	9781467331074
e-ISBN	9781467331081
DOI	10.1109/SysCon.2013.6549863
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2013-04-15
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	digital signature model checking common criteria system verification Model checking Data models interoperability Cryptography Middleware smartcard Interoperability Digital signatures
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

State space blow-up in the verification of secure smartcard interoperability

Research and implementation of a digital signature scheme based on middleware

Digital Signature on Mobile Devices based on Location

Verifying security requirements using model checking technique for UML-based requirements specification

Certificateless Concurrent Signature Scheme

A forward-secure blind signature schemes based on bilinear pairing

On the Security of Two Signature Schemes

Research on PKI Model Based on NTRU

Fast development methods of complex distributed simulation system based on interoperability

Simulation based verification of concurrent processing on security devices

Similar Documents

State space blow-up in the verification of secure smartcard interoperability

Research and implementation of a digital signature scheme based on middleware

Digital Signature on Mobile Devices based on Location

Verifying security requirements using model checking technique for UML-based requirements specification

Certificateless Concurrent Signature Scheme

A forward-secure blind signature schemes based on bilinear pairing

On the Security of Two Signature Schemes

Research on PKI Model Based on NTRU

Fast development methods of complex distributed simulation system based on interoperability

Simulation based verification of concurrent processing on security devices