Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Smart card safety environment control method

A technology of safe environment and control method, applied in the direction of program control design, instrument, electronic digital data processing, etc., can solve the problems affecting Java language security mechanism and portability, large storage resources, and infeasibility, so as to avoid single Point security failure issues, improve security, reduce the effect of requirements

Inactive Publication Date: 2009-02-18
BEIHANG UNIV
View PDF3 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Although the method of compiling to native code significantly improves the speed, it affects the security mechanism and portability of the Java language to a certain extent, which is obviously not suitable for smart card applications with high security requirements.
Dynamic compilation, JIT compilation technology and HotSpot technology compile bytecode into local code at runtime, which requires a large amount of storage resources at runtime, which is not feasible in smart cards that usually only have about 2K RAM

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Smart card safety environment control method
  • Smart card safety environment control method
  • Smart card safety environment control method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0014] The present invention will be further described in detail below in conjunction with the accompanying drawings.

[0015] The Applet (application) in the Java smart card is compiled and converted to generate bytecode instructions that can be recognized by the Java smart card virtual machine, and then downloaded to the smart card through a reader. In order to prevent malicious Applet from being downloaded to the Java card to run, the generated bytecode instructions must be checked for security.

[0016] A method for controlling the security environment of a smart card of the present invention. The smart card includes a smart card hardware system and a local method set related to the hardware system, a Java card virtual machine, a Java card running environment, a Java card class library, and a Java card application management component. , The application program downloaded to the smart card is compiled and converted to generate a bytecode sequence of the Java Card virtual machi...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention discloses a method for controlling the safety environment of an intelligent card. The downloaded application program in the intelligent card generates byte code sequence of instruction set of a Java card virtual machine after complied and converted, and the byte code sequence is operated by the Java card virtual machine; the Java card virtual machine comprises an in-card virtual machine and an out- card virtual machine, where the out-card virtual machine converts the complied file to generate a CAP file and the in-card virtual machine executes the byte code sequence in the CAP file; in controlling the in-card safety environment, firstly delimiting the types of the byte code sequence outputted by the converter of the out-card virtual machine so as to obtain the first check type and the second check type; then adopting a check rule to make safety check on the said check types. On the basis of the structures of the in-Java card and out-Java card virtual machines, the invention has designed and implemented the generating method for the digital signature of elliptical curve and the out-card code certificate as well as the safety check of the in-card byte code sequence.

Description

Technical field [0001] The invention relates to a method for controlling the security environment of a smart card, in particular to a method for controlling a security environment management system of a Java smart card. Background technique [0002] With the widespread application of Java smart cards, the research on Java smart card technology has gradually begun. How to provide a secure computing environment through a Java smart card includes issues such as code security verification and security assurance during downloading. [0003] Java smart card technology is a migration of Java virtual machine technology to a device platform with limited resources. The Applet of the Java smart card is compiled and converted to generate a bytecode program of the virtual machine instruction set. These bytecodes are then run by the virtual machine on the card. The early operating technology of the Java virtual machine was mainly the interpretation and execution mechanism, that is, the bytecod...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
IPC IPC(8): G06F1/00G06F9/45
Inventor 杨东凯张其善姚黎明吴鑫山
Owner BEIHANG UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products