The traditional approach for programmingsmartcards does not allow the creation of downloadable executable code and requires programmers with experience in programming in low-level languages. This approach, associate...
ISBN:
(纸本)9783540679448
The traditional approach for programmingsmartcards does not allow the creation of downloadable executable code and requires programmers with experience in programming in low-level languages. This approach, associated with a high quality qualification process, produce secured smart card. Unfortunately, it does not allow card manufacturers and issuers to quickly respond to the market changes, and it limits the flexibility of smart card applications. Open smart card programming provides a more dynamic approach to card applications. High-level languages and security mechanisms are the basis for the programming of open smartcards. Most notable efforts towards such smart card systems are java Card [22], MultOS [14] and smart Card for Windows [15], which provide application developers an opportunity to develop rapidly applications. The main drawback with this kind of smart card is the risk to download a hostile application that will exploit a faulty implementation module of the platform. security is always a big concern for smartcards, but the issue is getting more intense with multi-applicative platforms and post issuance code downloading. The correct design and implementation of the system is the key to shun such an attack. Fault prevention offers different techniques to remove latent errors from the system. The fault avoidance concerns methodologies and appropriate techniques to avoid the introduction of fault during the design and the construction of the system. In a first approach, one can believe that smart card can only get benefits of using formal methods.
The idea of a multi-application smart card operating system is not a new one, but only recently the smart card industry is catching up with proper software and hardware architectures that contribute in the anticipated...
详细信息
ISBN:
(纸本)3540643826
The idea of a multi-application smart card operating system is not a new one, but only recently the smart card industry is catching up with proper software and hardware architectures that contribute in the anticipated evolution. In this paper we survey some of the proposed software architectures and comment on their applicability and performance, along with investigating the entirely new demands imposed both in the smart card operating system and the application level. We also present a slightly different more decentralized view of a secure smart card multi-application operating system with some interesting new features.
This book constitutes the refereed proceedings of the tracks and workshops which complemented the 16th European Conference on Software Architecture, ECSA 2022, held in Prague, Czech Republic, in September 2022.;The 26...
详细信息
ISBN:
(数字)9783031368899
ISBN:
(纸本)9783031368882
This book constitutes the refereed proceedings of the tracks and workshops which complemented the 16th European Conference on Software Architecture, ECSA 2022, held in Prague, Czech Republic, in September 2022.;The 26 full papers presented together with 4 short papers and 2 tutorial papers in this volume were carefully reviewed and selected from 61 submissions.;Papers presented were accepted into the following tracks and workshops: Industry track; Tools and Demonstrations Track; Doctoral Symposium; Tutorials; 8th internationalworkshop on Automotive System/Software Architectures (WASA); 5th Context-Aware, Autonomous and smart Architectures internationalworkshop (CASA); 6th internationalworkshop on Formal Approaches for Advanced Computing Systems (FAACS); 3rd workshop on Systems, Architectures, and Solutions for Industry 4.0 (SASI4); 2nd internationalworkshop on Designing and Measuring security in Software Architectures (DeMeSSA); 2nd internationalworkshop on Software Architecture and Machine Learning (SAML); 9th workshop on Software Architecture Erosion and Architectural Consistency (SAEroCon); 2nd internationalworkshop on Mining Software Repositories for Software Architecture (MSR4SA); and 1stinternationalworkshop on Digital Twin Architecture (TwinArch).
暂无评论