检索结果-内蒙古大学图书馆

IEEE 8th International Conference on ASIC

作者： Wu, Di Wu, Liji Zhang, Xiangmin Tsinghua Univ Inst Microelect Tsinghua Natl Lab Informat Sci & Technol Beijing 100084 Peoples R China

ISBN: (纸本)9781424438686

To meet the urgent need of transferring magnetic stripe bankcard to IC bankcard, a 16-bit low power java card coprocessor for EMV compatible IC bankcard is designed and implemented by FPGA. In order to speed up the running of the java card applets, a novel 5-stage pipelined java card coprocessor is achieved with pure logic circuits, which carries out the execution of 88 instructions out of 134 defined in the java card Virtual Machine Specification 3.0 Classic Edition, while the remaining instructions are processed by the main 32-bit RISC processor. A pre-fetch instruction buffer and stack-top-register are used to ensure the fluency of the pipeline for accelerating the coprocessor. The design is verified to be :feasible for the need of IC bankcard by FPGA and proved significantly faster than the regular software virtual machine, while remaining in a low power consumption level(1).

关键词： Bankcard java card Coprocessor Pipeline

来源：评论

学校读者我要写书评

暂无评论

Building an "impossible" verifier on a java card 02

Building an "impossible" verifier on a Java Card

引用

2nd Workshop on Industrial Experiences with Systems Software (WIESS 02)

作者： Deville, D Grimaud, G Univ Sci & Technol Lille Lab Lifl F-59655 Villeneuve Dascq France

ISBN: (纸本)1931971056

java is a popular development platform for mobile code systems. It ensures application portability and mobility for a variety of systems, while providing strong security features. The intermediate code (byte code) allows the virtual machine to verify statically (during the loading phase) that the program is well-behaved. This is done by a software security module called the byte code verifier. Smart cards that provide a java Virtual Machine, called java card, are not supplied with such a verifier because of its complexity. Alternatives are being studied to provide the same functionality outside the card. In the present paper, we propose to integrate the whole verifier inside the smart card. This ensures that the smart card becomes entirely autonomous, which allows full realization of smart cards potential as pervasive computing devices. Our verifier uses a specialized encoding and a software cache with a variety of cache polices to adapt to the hardware constraints of smart card. Our experimental results confirm the feasibility of such a security system being implemented in a smart card.

关键词： smart card java card static verification type inference secure embedded system

来源：评论

学校读者我要写书评

暂无评论

Biometric Hash Algorithm for Dynamic Handwriting Embedded on a java card

Biometric Hash Algorithm for Dynamic Handwriting Embedded on...

引用

COST 2101 European Workshop on Biometrics and Identity Management (BioID)

作者： Kuemmel, Karl Vielhauer, Claus Brandenburg Univ Appl Sci D-14737 Brandenburg Germany

ISBN: (纸本)9783642195297

In some biometric verification systems smart cards are used to store personal biometric data of a person instead of storing them in a database. If smart cards are correctly authenticated such as with cryptographic signatures, attacks to biometric databases are reduced like template replacement or cross-matching of biometric databases. Furthermore, smart cards are used to match reference data with the actual data of a claimed identity (e.g. [1], [2] and [3]);these systems are called matching-on-card (MOC). In this paper we present a system which besides matching, storing and decision of biometric templates also implements the feature extractor on a smart card to increase the security level and therefore minimize attack possibilities. In this work a exemplary java card as widely deployed smart card environment in today business applications is used as implementation platform and a biometric hash algorithm for dynamic handwriting introduced in [4] as biometric user authentication method. Our goal is to evaluate the processing time performance and EER to show the overall tendency. Due to the limited hard- and software resources of a java card, a feature extractor with reduced features (9 features). selected based on uncomplex implementation and fast determination time, is deployed. First experimental results show that a biometric hash algorithm for dynamic handwriting, embedded on a java card including the feature extraction, is capable of biometric user verification. However, processing time measurements of the first experimental non-time-optimized test system show that real-time applications are not suitable. To show the verification performance we use 500 raw data sets. Test results show an average EER of 28.5%, whereas a reference biometric hash algorithm (103 features) executed on a standard computer achieves an average EER of 4.86%. Furthermore we compare the performance with an existing DSP (digital signal processor) implementation.

关键词： biometrics handwriting on-card matching java card

来源：评论

学校读者我要写书评

暂无评论

A novel buffer cache scheme using java card object with high locality for efficient java card applications

A novel buffer cache scheme using Java Card object with high...

引用

1st International Conference on Hybrid Information Technology

作者： Choi, Won-Ho Jeon, Ha-Yong Rosholt, Rhys Jung, Gwang Jung, Min-Soo Kyungnam Univ Dept Comp Engn Masan South Korea CUNY Lehman Coll Dept Math & Comp Sci Bronx NY USA

ISBN: (纸本)9783540773672

java card technology enables smart cards and other devices with very limited memory to run small applications. It provides users with a secure and interoperable execution platform that can store and update multiple applications on a single device. However, a major difficulty with java card is its low execution speed caused by hardware limitations. In this paper, we propose a novel scheme about how to improve the execution speed of java card. The key idea of our approach is a buffer cache scheme that uses RAM instead of EEPROM to improve the execution speed of java card. The proposed scheme reduces I/O count, especially EEPROM writing. Our scheme is based on the high locality of java card objects and the use of RAM that is several magnitude faster than EEPROM.

关键词： java java card java card objects buffer cache

来源：评论

学校读者我要写书评

暂无评论

On the performance of certificate revocation protocols based on a java card certificate client implementation

On the performance of certificate revocation protocols based...

引用

20th International Information Security Conference

作者： Papapanagiotou, K Markantonakis, K Zhang, Q Sirett, WG Mayes, K Univ London Royal Holloway & Bedford New Coll Informat Secur Grp Smart Card Ctr London NW1 4NS England

ISBN: (纸本)038725658X

The use of certificates for secure transactions in smart cards requires the existence of a secure and efficient revocation protocol. There are a number of existing protocols for online certificate revocation and validation, among which OCSP and SCVP are the most widely used. However there are not any real applications testing the efficiency of these protocols when run in a smart card, even though the advantages of such an implementation are promising. In this paper we examine the details of the implementation of these protocols, emphasising on the issues arisen from the limitations of the smart cards. We also discuss the performance results from the implementation of OCSP and SCVP in a multi-application smart card environment. Results from two different java card platforms are presented and analyzed.

关键词： certificate revocation OCSP SCVP java card

来源：评论

学校读者我要写书评

暂无评论

Performance Issues of Selective Disclosure and Blinded Issuing Protocols on java card

Performance Issues of Selective Disclosure and Blinded Issui...

引用

3rd International Workshop on Information Security Theory and Practice

作者： Tews, Hendrik Jacobs, Bart Radboud Univ Nijmegen Digital Secur Grp Nijmegen Netherlands

ISBN: (纸本)9783642039430

In this paper we report on the performance of the RSA variants of Brands protocols for zero-knowledge proof and restrictive blinded issuing [1]. The performance is relatively bad: For 4 attributes and an RSA key size of 1280 bits, blinded issuing takes about 10 seconds and the zero-knowledge proof takes about 9 seconds. For 2 attributes the zero-knowledge proof drops to 5 seconds. The poor performance comes from the fact that the cryptographic coprocessor oil the java card can only be employed in very limited ways. With appropriate support of the cryptographic coprocessor both protocols would run much faster.

关键词： java card selective disclosure blinded issuing performance

来源：评论

学校读者我要写书评

暂无评论

A B model for ensuring soundness of a large subset of the java card virtual machine

引用

SCIENCE OF COMPUTER PROGRAMMING 2003年第3期46卷 283-306页

作者： Requet, A Gemplus Res Lab F-13881 Gemenos France

java cards are a new generation of smart cards that use the java programming language. As smart cards are usually used to supply security to an information system, security requirements are very strong. The byte code interpreter and verifier are crucial components of such cards, and proving their safety can become a competitive advantage. Previous works have been done on methodology for proving the soundness of the byte code interpreter and verifier using the B method. It refines an abstract defensive interpreter into a byte code verifier and a byte code interpreter. However, this work had only been tested on a very small subset of the java card instruction set. This paper presents a work aiming at verifying the scalability of this previous work. The original instruction subset of about 10 instructions has been extended to a larger subset of more than one hundred instructions, and the additional cost of the proof has been managed by modifying the specification in order to group opcodes by properties. (C) 2002 Elsevier Science B.V. All rights reserved.

关键词： B method java card formal specification

来源：评论

学校读者我要写书评

暂无评论

Static program analysis for java card applets

Static program analysis for Java Card applets

引用

8th International Conference on Smart card Research and Advanced Applications

作者： Almaliotis, Vasilios Loizidis, Alexandros Katsaros, Panagiotis Louridas, Panagiotis Spinellis, Diomidis Aristotelian Univ Thessaloniki Dept Informat Thessaloniki 54124 Greece Athens Univ Econ & Business Dept Management Sci & Technol Athens 10434 Greece

ISBN: (纸本)9783540858928

The java card API provides a framework of classes and interfaces that hides the details of the underlying smart card interface, thus relieving developers from going through the swamps of microcontroller programming. This allows application developers to concentrate most of their effort on the details of application, assuming proper use of the java card API calls regarding (i) the correctness of the methods' invocation targets and their arguments and (ii) temporal safety, i.e. the requirement that certain method calls have to be used in certain orders. Several characteristics of the java card applets and their multiple-entry-point program structure make it possible for a potentially unhandled exception to reach the invoked entry point. This contingency opens a possibility to leave the applet in an unpredictable state that is potentially dangerous for the application's security. Our work introduces automatic static program analysis as a means for the early detection of misused and therefore dangerous API calls. The shown analyses have been implemented within the FindBugs bug detector, an open source framework that applies static analysis functions on the applet bytecode.

关键词： java card static program analysis temporal safety

来源：评论

学校读者我要写书评

暂无评论

Is java card Ready for Hash-Based Signatures? 13th

Is Java Card Ready for Hash-Based Signatures?

引用

13th International Workshop on Security (IWSEC)

作者： van der Laan, Ebo Poll, Erik Rijneveld, Joost de Ruiter, Joeri Schwabe, Peter Verschuren, Jan Netherlands Natl Commun Secur Agcy NLNCSA The Hague Netherlands Radboud Univ Nijmegen Digital Secur Grp Nijmegen Netherlands

ISBN: (纸本)9783319979168;9783319979151

The current java card platform does not seem to allow for fast implementations of hash-based signature schemes. While the underlying implementation of the cryptographic primitives provided by the API can be fast, thanks to implementations in native code or in hardware, the cumulative overhead of the many separate API calls results in prohibitive performance for many common applications. In this work, we present an implementation of XMSSMT on the current java card platform, and make suggestions how to improve this platform in future versions.

关键词： Post-quantum cryptography Hash-based signatures java card XMSSMT

来源：评论

学校读者我要写书评

暂无评论

Implementation of Revocable Keyed-Verification Anonymous Credentials on java card 22

Implementation of Revocable Keyed-Verification Anonymous Cre...

引用

17th International Conference on Availability, Reliability and Security (ARES)

作者： Casanova-Marques, Raul Dzurenda, Petr Hajny, Jan Brno Univ Technol Brno Czech Republic Univ Jaume 1 Castellon de La Plana Spain

ISBN: (纸本)9781450396707

java card stands out as a good choice for the development of smart card applications due to the high interoperability between different manufacturers, its security, and wide support of cryptographic algorithms. Despite extensive cryptographic support, current java cards do not support non-standard cryptographic algorithms such as post-quantum, secure-multiparty computations, and privacy-enhancing cryptographic schemes. Moreover, java card is restricted by the Application Programming Interface (API) in algebraic operations, which are the foundation of modern cryptographic schemes. This paper addresses the issue of developing these modern schemes by exploiting the limited cryptographic API provided by these types of cards. We show how to (ab)use the java card's API to perform modular arithmetic operations, as well as basic operations on elliptic curves. Furthermore, we implement an attribute-based privacy-enhancing scheme on an off-the-shelf java card. To do so, we use our cryptographic API and several optimization techniques to make the scheme as efficient as possible. To demonstrate the practicality of our solution, we present the implementation results and benchmark tests.

关键词： Attribute-based Credentials Anonymous Credentials Revocation Identity Privacy Cryptography Elliptic Curves Smart cards java card Microcontrollers

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：