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

IEEE Region 10 Conference on Analog and Digital Techniques in Electrical Engineering

作者： Prasertsatid, N Sookchareonphol, D Kosalwit, S King Mongkuts Inst Technol Ladkrabang Fac Engn Bangkok 10520 Thailand King Mongkuts Inst Technol Ladkrabang Res Ctr Commun & Informat Technol Bangkok 10520 Thailand

ISBN: (纸本)0780385608

This paper presents implementation conditional access system fir pay TV based on java card. A java card specification extends java technology into smart card. The Encryption (digital scrambling) is used Triple DES (3DES) to encrypit. Therefore, this solution is appropriate for use on secure conditional access constrained memory resource. Furthermore, it can be introduced relatively easily into future CA system and will require only minimal changes in current CA system.

关键词： java cryptography telecommunication security smart cards digital video broadcasting authorisation secure conditional access system implementation CA system pay TV java card specification smart card encryption digital scrambling triple DES 3DES memory resource Health Smart cards cryptography Pay-TV computer aided design system telecommunication security Authorization java card Conditional access

来源：评论

学校读者我要写书评

暂无评论

Embedded Eavesdropping on java card

Embedded Eavesdropping on Java Card

引用

27th IFIP TC11 International Information Security and Privacy Conference (IFIP SEC)

作者： Barbu, Guillaume Giraud, Christophe Guerin, Vincent Oberthur Technol Technol & Innovat F-33600 Pessac France Telecom ParisTech Inst Telecom CNRS LTCI Dept COMELEC F-75634 Paris 13 France

ISBN: (纸本)9783642304361

In this article we present the first Combined Attack on a java card targeting the APDU buffer itself, thus threatening both the security of the platform and of the hosted applications as well as the privacy of the cardholder. We show that such an attack, which combines malicious application and fault injection, is achievable in practice on the latest release of the java card specifications by presenting several case studies taking advantage for instance of the well-known GlobalPlatform and (U) SIM Application ToolKit.

关键词： java card APDU Buffer Fault Attack Logical Attack Combined Attack

来源：评论

学校读者我要写书评

暂无评论

A High Performance java card Virtual Machine Interpreter based on an Application Specific Instruction-Set Processor 17

A High Performance Java Card Virtual Machine Interpreter bas...

引用

17th Euromicro Conference on Digital System Design (DSD)

作者： Zilli, Massimiliano Raschke, Wolfgang Weiss, Reinhold Steger, Christian Loinig, Johannes Graz Univ Technol Inst Tech Informat A-8010 Graz Austria NXP Semicond Austria GmbH Gratkom Austria

ISBN: (纸本)9781479957934

java card is a java running environment specific for smart cards. In such low-end embedded systems, the execution time of the applications is an issue of first order. One of the components of the java card Virtual Machine (JCVM) playing an important role in the execution speed is the bytecode interpreter. In java systems the main technique for speeding-up the interpreter execution is the Just-In-Time compilation (JIT), but this resource consuming technique is inapplicable in systems with as restricted resources available as in smart cards. This paper presents a hardware/software co-design solution for the performance improvement of the interpreter. In the software domain, we adopted a pseudo-threaded code interpreter that allows a better run-time performance with a small amount of additional code. In the hardware domain, we proceeded moving parts of the interpreter into hardware, giving origin to a java card interpreter based on an application specific instruction set processor.

关键词： Smart card java card interpreter application specific instruction set processor

来源：评论

学校读者我要写书评

暂无评论

Instruction Folding Compression for java card Runtime Environment 17

Instruction Folding Compression for Java Card Runtime Enviro...

引用

17th Euromicro Conference on Digital System Design (DSD)

作者： Zilli, Massimiliano Raschke, Wolfgang Weiss, Reinhold Steger, Christian Loinig, Johannes Graz Univ Technol Inst Tech Informat A-8010 Graz Austria NXP Semicond Austria GmbH Gratkorn Austria

ISBN: (纸本)9781479957934

java card is a secure java running environment targeted for smart cards. In such low-end embedded systems, ROM size and execution time play very important, usually opposing roles. Dictionary compression can be applied to the java card software architecture, but pays for the reduced ROM size of the applications with a higher execution time. On the other hand, acceleration mechanisms to speed up the execution need additional information or additional software complexity, with the effect of increasing ROM size. In this paper, we propose a dictionary compression system based on an instruction folding mechanism that permits a reduction in the ROM size of java card applications, and at the same time, a speed-up of their execution.

关键词： Smart card java card compression instructions folding

来源：评论

学校读者我要写书评

暂无评论

Enabling Efficient Threshold Signature Computation via java card API 23

Enabling Efficient Threshold Signature Computation via Java ...

引用

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

作者： Dufka, Antonin Svenda, Petr Masaryk Univ Brno Czech Republic

ISBN: (纸本)9798400707728

Threshold signatures are becoming an increasingly popular method of signing key protection, primarily due to their ability to produce signatures that require the cooperation of multiple parties yet appear indistinguishable from a regular signature. This unique feature allows for their easy integration with existing systems, making them highly desirable in applications like national identity systems and transaction authorization, where they are being gradually deployed;their growing importance is further attested by NIST's recently initiated efforts to standardize threshold schemes [19]. An issue often encountered in the deployment of threshold schemes is that their execution is not supported by current secure hardware, which is necessary for the secure handling of secrets, as storing the shares in regular memory puts them at an increased risk of compromise. This raises the question of whether it is possible to run state-of-the-art threshold protocols with current secure hardware that we attempt to answer for cryptographic smartcards. We analyzed algorithms available on smartcards with the java card platform and repurposed them to construct operations needed in threshold protocols. We use these derived operations to implement FROST, a state-of-the-art threshold signature scheme currently in a standardization process, making it the first open smart-card implementation of a threshold protocol supporting an arbitrary threshold. We demonstrate the practicality of this approach on the latest smartcards with no requirement for proprietary libraries.

关键词： threshold cryptography Schnorr signatures elliptic curves smart-cards java card

来源：评论

学校读者我要写书评

暂无评论

Operational semantics of the java card Virtual Machine

引用

JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING 2004年第1-2期58卷 3-25页

作者： Siveroni, IA Univ London Imperial Coll Sci Technol & Med London SW7 2AZ England

We present the operational semantics of Carmel, a language that models the java card Virtual Machine Language. We define a small-step relation between program configurations, including rules for exception handling, array objects and subroutines. We also include the basic structures needed to model object ownership and the java card firewall. (C) 2003 Elsevier Inc. All rights reserved.

关键词： java card semantics

来源：评论

学校读者我要写书评

暂无评论

Managing the life cycle of java card applets in other java virtual machines

引用

INTERNATIONAL JOURNAL OF PERVASIVE COMPUTING AND COMMUNICATIONS 2014年第3期10卷 291-+页

作者： Roland, Michael Langer, Josef Mayrhofer, Rene Univ Appl Sci Upper Austria NFC Res Lab Hagenberg Hagenberg Austria Univ Appl Sci Upper Austria Josef Ressel Ctr Usmile Hagenberg Austria

Purpose - The purpose of this paper is to address the design, implementation, performance and limitations of an environment that emulates a secure element for rapid prototyping and debugging. Today, it is difficult for developers to get access to a near field communication (NFC)-secure element in current smartphones. Moreover, the security constraints of smartcards make in-circuit emulation and debugging of applications impractical. Therefore, an environment that emulates a secure element brings significant advantages for developers. Design/methodology/approach - The authors' approach to such an environment is the emulation of java card applets on top of non-java card virtual machines (e.g. Android Dalvik VM), as this would facilitate the use of existing debugging tools. As the operation principle of the java cardVMis based on persistent memory technology, the VM and applications running on top of it have a significantly different life cycle compared to other java VMs. The authors evaluate these differences and their impact on java VM-based java card emulation. They compare possible strategies to overcome the problems caused by these differences, propose a possible solution and create a prototypical implementation to verify the practical feasibility of such an emulation environment. Findings - While the authors found that the java card inbuilt persistent memory management is not available on other java VMs, they present a strategy to model this persistence mechanism on other VMs to build a complete java card run-time environment on top of a non-java card VM. Their analysis of the performance degradation in a prototypical implementation caused by additional effort put into maintaining persistent application state revealed that the implementation of such an emulation environment is practically feasible. Originality/value - This paper addresses the problem of emulating a complete java card run-time environment on top of non-java card virtual machines which could open a

关键词： Android card emulation Emulator java card Near field communication Secure element

来源：评论

学校读者我要写书评

暂无评论

Reification of executable test scripts in formal specification-based test generation: The java card Transaction Mechanism case study

引用

12th International Symposium of Formal Methods Europe

作者： Bouquet, F Legeard, B Univ Franche Comte Lab Informat CNRS INRIA Projet CASSIS F-25030 Besancon France

ISBN: (纸本)3540408282

Automatic generation of test cases from formal specification is a very promising way both to give a rationale for deciding the scope of testing and to reduce the time for test design and coding. In order to achieve this purpose, formal specification-based methods must solve the problem of executable test script generation from abstract test cases and automatic verdict assignment. This question requires calculating oracles, mapping between the abstract and concrete representations and monitoring test execution. In this paper, we present an effective use in the testing process of automatically generated test suites on an industrial application of java card Transaction Mechanism. Abstract test cases are synthesized from a B formal specification using a boundary value approach. From the abstract test cases, executable scripts are generated using execution context pattern and representation mappings. This is fully supported by a tool-set, called BZ-Testing-Tools. On the basis of this java card case study, we describe the difficulties that arose and present some generic solutions embedded in the BZ-Testing-Tools environment.

关键词： B abstract machine formal methods java card oracle synthesis representation mapping specification-based test generation

来源：评论

学校读者我要写书评

暂无评论

A password-authenticated secure channel for App to java card applet communication

引用

INTERNATIONAL JOURNAL OF PERVASIVE COMPUTING AND COMMUNICATIONS 2015年第4期11卷 374-397页

作者： Hoelzl, Michael Asnake, Endalkachew Mayrhofer, Rene Roland, Michael Johannes Kepler Univ Linz JRC Usmile & Inst Networks & Secur Linz Austria Univ Appl Sci Upper Austria JRC Usmile Hagenberg Austria

Purpose - The purpose of this paper is to design, implement and evaluate the usage of the password-authenticated secure channel protocol SRP to protect the communication of a mobile application to a java card applet. The usage of security and privacy sensitive systems on mobile devices, such as mobile banking, mobile credit cards, mobile ticketing or mobile digital identities has continuously risen in recent years. This development makes the protection of personal and security sensitive data on mobile devices more important than ever. Design/methodology/approach - A common approach for the protection of sensitive data is to use additional hardware such as smart cards or secure elements. The communication between such dedicated hardware and back-end management systems uses strong cryptography. However, the data transfer between applications on the mobile device and so-called applets on the dedicated hardware is often either unencrypted (and interceptable by malicious software) or encrypted with static keys stored in applications. Findings - To address this issue, this paper presents a solution for fine-grained secure application-to-applet communication based on Secure Remote Password (SRP-6a and SRP-5), an authenticated key agreement protocol, with a user-provided password at run-time. Originality/value - By exploiting the java card cryptographic application programming interfaces (APIs) and minor adaptations to the protocol, which do not affect the security, the authors were able to implement this scheme on java cards with reasonable computation time.

关键词： Mobile devices java card Secure channel Secure element Smart card SRP

来源：评论

学校读者我要写书评

暂无评论

Mutual Authentication on java card

Mutual Authentication on Java Card

引用

作者： Om Prakash Delhi Technological University

学位级别：硕士

PLAID was introduced by Centrelink in 2009 and in a short time it has become one of the top choices for mutual authentication on java smart cards. The protocol is cryptographically stronger, faster and more private, than most or all equivalent protocols currently available either commercially or via existing standards. PLAID is designed to perform a high strength mutual authentication in the 150-300 millisecond range, making it suitable for a range of mission critical contact-less applications. This work is about the complete implementation of the protocol including the applet which runs on the card and the reader application which runs on the host machine. The prime focus has been on the implementation of the protocol and to get the real performance evaluation of the protocol. It discusses about the implementation processes and also the difficulties with solutions steps and processes which are carried out. On breaking the cumulative timings of the operations of the protocol in this implementation, it could be confirmed that the claims made by the protocol to carry out a cryptographically strong mutual authentication within 300 milliseconds can be easily achieved using the PLAID protocol.

关键词： Mutual Authentication java card PLAID OpenSSL

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：