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

17th Euromicro Conference on Digital System Design (DSD)

作者： Lackner, Michael Berlach, Reinhard Hraschan, Michael Weiss, Reinhold Steger, Christian Graz Univ Technol Inst Tech Informat A-8010 Graz Austria

ISBN: (纸本)9781479957934

java-enabled smart cards are used in different fields of application, such as access control, electronic banking, and passports. On these cards, a standardized virtual machine runs, which protects the security-critical code and data using a sandbox model. Unfortunately, this sandbox can be circumvented by fault attacks, which corrupt the data on which the virtual machine operates. The fault emulation environment of this work enables the user to configure faults at definable java applet code locations. The user specifies which java code she wants to attack but does not need to provide any information on where these data are placed in the memory and when the memory is accessed. To enable this approach, our environment monitors the virtual machine during the applet execution to receive the information which java code is currently executed and which security-critical memory regions are in use. Then, the faults are injected using a bus saboteur at the correct clock cycle and memory location. This generic high-level approach provides the environment user an abstraction of the internal states of the virtual machine and the emulated hardware. Therefore, our environment enables the recreation of currently known attacks and allows us to study the effects of fault attacks on the virtual-machine behavior. The concept was successfully evaluated by a java wallet case study. This case study shows a speedup of 6,600 compared to a simulation.

关键词： Barium Data models Emulation Field programmable gate arrays java Security Virtual machining Fault Attack Fault Emulation Hardware/Software Design Tool java card java card Virtual Machine Security virtual machines Field programmable gate arrays java java programming language simulating java card data models barium Simulated Environment faults virtual machining Security Memory Memory memory locations

来源：评论

学校读者我要写书评

暂无评论

Implementing FISCIC card specification and developing health care application using java card

Implementing FISCIC card specification and developing health...

引用

International Symposium on Multimedia Software Engineering

作者： Ma, TY Hou, TW Natl Cheng Kung Univ Dept Engn Sci Tainan 701 Taiwan

ISBN: (纸本)0769509339

java card specification extends java technology into smart card. FISC IC card specification is the only financial smart card standard in Taiwan. In the Peng-Hu Health Care IC card Project, we adopted FISC-compatible IC cards. In this paper we describe an approach to develop a FISC-compatible application, based on the health care file system, using java card specification A shareable interface is defined to share FISC file system with applets on the same card.

关键词： smart card java card hearth information system financial information system

来源：评论

学校读者我要写书评

暂无评论

A java card Based Approach for Smart Meter Gateway Security

A Java Card Based Approach for Smart Meter Gateway Security

引用

IEEE Conference on Innovative Smart Grid Technologies - Asia (ISGT Asia)

作者： Piska, Srinivas Shetty, Manasa Infineon Technol India Pvt Ltd Bangalore Karnataka India

ISBN: (纸本)9781479913466

Smart Meter Gateway is the central communication component in the Smart Grid Infrastructure. It needs an easy-to-maintain and updatable security provider. The SMGW system secures its operations utilizing the services provided by an embedded secure microcontroller. We propose to implement this on an embedded java card OS (Rich in APIs). java card API provides secure and efficient OSdefined objects for storage of sensitive data and for cryptographic mechanisms. Services of the Gateway and access to the data stored in the microcontroller can be safeguarded by controlled access policies enforced by an applet. java card technology allows creation of a secure environment for independent multiple applications which can be updated over the air. To this end, we have implemented a BSI-Technical Guideline-03109-2v1.0 compliant java card applet, using command set based on ISO7816-4 to ensure interoperability and platform independence of the application. Based on our work, we establish the possible use and advantage of using an embedded java card OS as the Security Module for the SMGW.

关键词： java card Security Smart Meter Gateway Security Module

来源：评论

学校读者我要写书评

暂无评论

PhiAttack Rewriting the java card Class Hierarchy 20th

PhiAttack Rewriting the Java Card Class Hierarchy

引用

20th International Conference on Smart card Research and Advanced Applications (cardIS)

作者： Dubreuil, Jean Bouffard, Guillaume Serma Safety & Secur Pessac France Natl Cybersecur Agcy France ANSSI Paris France PSL Univ CNRS DIENS Ecole Normale Super Informat Secur Grp Paris France

ISBN: (纸本)9783030973483;9783030973476

Compiling java card applets is based on the assumption that export files used to translate java class item to java card CAP tokens are legitimate. Bouffard et al. [2] reversed the translation mechanism. Based on malicious Application Programming Interface (API) embedded in a target, they succeeded in making a man-in-the-middle attack where cryptographic keys can leak. In this article, we disclose that, on a pool of legitimate export files, java card Virtual Machine (JCVM) implementations can be confused by a CAP file verified by the java card Bytecode Verifier (BCV). The disclosed vulnerability leads to java card class hierarchy rewriting. The introduced vulnerability is exploitable up to java card 3.0.5. Recently, java card 3.1.0 provides a new export file format which prevents this vulnerability.

关键词： java card BCV Inheritance tree

来源：评论

学校读者我要写书评

暂无评论

Evaluation of java card performance

Evaluation of Java Card performance

引用

8th International Conference on Smart card Research and Advanced Applications

作者： Bouzefrane, Samia Cordry, Julien Meunier, Herve Paradinas, Pierre Conservatoire Natl Arts & Metiers 292 Rue St Martin F-75003 Paris France INRIA POPS Parc Scientifique Haute Borne F-70478 Villeneuve Dascq France INRIA F-78150 Le Chesnay France

ISBN: (纸本)9783540858928

With the growing acceptance of the java card standard, understanding the performance behaviour of these platforms is becoming crucial. To meet this need, we present in this paper, a benchmark framework that enables performance evaluation at the bytecode and API levels. We also show, how we assign, from the measurements, a global mark to characterise the efficiency of a given java card platform, and to determine its performance according to distinct smart card profiles.

关键词： java card benchmark performance test

来源：评论

学校读者我要写书评

暂无评论

Implementation conditional access system for pay TV based on java card

Implementation conditional access system for pay TV based on...

引用

3rd International Conference on Computational Electromagnetics and its Applications

作者： Prasertsatid, N King Monkuts Inst Technol Dept Telecommun Engn Ladkrabang Thailand

ISBN: (纸本)0780385624

This paper presents implementation conditional access system for pay TV based on java card Conditional access system (CA) is widely used to control user access to system and protect the pay TV programs. This java smart card are implement for access condition. to system and Triple DES cryptography techniques. It provide the functionality for secure, flexibility for management and easily to expand for value-add service. The technology of java card is light weight bytecode to break the smart card memory bottleneck It is constrained memory resources.

关键词： java card Conditional Access system 3DES

来源：评论

学校读者我要写书评

暂无评论

High Performance java card Operating System 8

High Performance Java Card Operating System

引用

8th International Conference on Software Security and Reliability (SERE)

作者： Eletriby, Mohammad R. Sobh, Mohamed Bahaa-Eldin, Ayman M. Fahmy, Hossam M. A. Ain Shams Univ Comp & Syst Engn Dept Cairo Egypt

ISBN: (纸本)9781479942961

Due to the fast evolving of trusted computing environments and internet-of-things an eager need has been established for open platforms which support interchangeable technologies to co-exist without threatening system's security. Certainly, future embedded applications will need high performance operating systems to support the intensive-computing algorithms required for satisfying acceptable response and secure the application inside the vulnerable open environment;hence, new inevitable requirements for embedded operating systems have arisen including hard real-time response, support for native applications, system openness and system scalability. This paper introduces a new design for secure and open smart card operating system, called ESCOS (Egypt Smart card Operating System), based on the prevalent java card technology. The new design provides competitive characteristics in the main three factors of judging smart card platforms;namely, system security, supported technology and system response. In addition, ESCOS is designed to have high degree of modularity and re-configurability to meet fast-changing business needs and diverse hardware platforms.

关键词： operating systems computer security java card multi-application smart cards embedded software design cryptography systems

来源：评论

学校读者我要写书评

暂无评论

Performance evaluation of java card bytecodes

引用

1st International Workshop on Information Security Theory and Practice

作者： Paradinas, Pierre Cordry, Julien Bouzefrane, Samia INRIA Rocquencourt F-78150 Le Chesnay France CNAM F-75003 Paris France

ISBN: (纸本)9783540723530

The advent of the java card standard has been a major turning point in smart card technology. With the growing acceptance of this standard, understanding the performance behaviour of these platforms is becoming crucial. To meet this need, we present in this paper, a benchmark framework that enables performance evaluation at the byte-, code level. The first experimental results show that bytecode execution time isolation is possible.

关键词： java card benchmark performance

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of a Zero-Knowledge Authentication Framework for java card

引用

INTERNATIONAL JOURNAL OF INFORMATION SECURITY AND PRIVACY 2011年第3期5卷 1-18页

作者： Patel, Ahmed Kalajdzic, Kenan Golafshan, Laleh Taghavi, Mona Univ Kebangsaan Malaysia Comp Sci Bangi Malaysia Kingston Univ Kingston Upon Thames Surrey England Ctr Comp Educ Tuzla Bosnia & Herceg Islamic Azad Univ Dept Comp Engn & IT Sci & Res Branch Fars Iran Islamic Azad Univ Dept Comp Sci & Res Branch Tehran Iran

Zero-knowledge authentication protocols are an alternative to authentication protocols based on public key cryptography. Low processing and memory consumption make them especially suitable for implementation in smart card microprocessors, which are severely limited in processing power and memory space. This paper describes a design and implementation of a software library providing smart card application developers with a reliable authentication mechanism based on well-known zero-knowledge authentication schemes. java card is used as the target smart card platform implementation based on the evaluation of the Fiat-Shamir (F-S) and Guillou-Quisquater (G-Q) protocols under various performance criteria are presented to show the effectiveness of the implementation and that G-Q is a more efficient protocol.

关键词： Authentication Cryptography Fiat-Shamir Protocol Guillou-Quisquater Protocol java card Security Smart cards Zero-Knowledge Protocols

来源：评论

学校读者我要写书评

暂无评论

An Application Specific Processor for Enhancing Dictionary Compression in java card Environment 5

An Application Specific Processor for Enhancing Dictionary C...

引用

5th International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS)

作者： Zilli, Massimiliano Raschke, Wolfgang Loinig, Johannes Weiss, Reinhold Steger, Christian Graz Univ Technol Inst Tech Informat Inffeldgasse 16-I Graz Austria NXP Semicond Austria GmbH Business Unit Identificat Gratkorn Austria

ISBN: (纸本)9789897581373

Smart cards are low-end embedded systems used in the fields of telecommunications, banking and identification. java card is a reduced set of the java standard designed for these systems. In a context of scarce resources such as smart cards, ROM size plays a very important role and dictionary compression techniques help in reducing program sizes as much as possible. At the same time, to overcome the intrinsic slow execution performance of a system based on interpretation it is possible to enhance the interpreter speed by means of specific hardware support. In this paper we apply the dictionary compression technique to a java interpreter built on an application specific processor. Moreover, we move part of the decompression functionalities in hardware with the aim of speeding up the execution of a compressed application. We obtain a new interpreter that executes compressed code faster than a classic interpreter that executes non-compressed code.

关键词： Smart card java card Hardware-supported Interpreter Compression

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：