This research concerns enhancement in on-card verification of downloaded applets in Java Card technology. In this thesis, we propose the on-card installer with a one-way hash function to support on-card verification of download applets. The hash value generated from the on0card installer is used to verify download applets hwyn they try to gain a SIO from a server applet. This thesis is organized into five chapters and an appendix. Chapter 1, Introduction, depicts the background of Java Card technology, the current problem in the Java Card platform, and the objectives of this research. Chapter 2, Literature Review, introduces fundamental concepts and background knowledge on Smart Card, Java Card, and message digest algorithms. Chapter 3, Sec...
In multi-application Java Cards, applet's sensitive data must be protected against unauthorized acce...
Abstract. This paper presents an approach enabling a smart card is-suer to verify that a new applet ...
Part 7: Java Card SecurityInternational audienceThe Java Card uses two components to ensure the secu...
Nowadays, JavaCard Platform-based SmartCards are multi-application and support inter-applet collabor...
International audienceThis paper presents a novel approach to the problem of bytecode verification f...
This thesis is concerned with formal development of Java Card applets. Java Card is a technology tha...
This thesis is concerned with different aspects of Java Card application development and use of form...
There is a growing interest for using "intelligent" or "smart" cards such as Sun...
AbstractThis paper discusses a case study in formal verification and development of secure smart car...
Smart cards, Chip cards, and Integrated Circuit(s) Cards (ICC) were invented and patented in the 70s...
Abstract. This paper presents an approach enabling a smart card issuer to verify that a new applet s...
Java Card is a kind of smart card that implements one of the two editions, "Classic Edition" or "Con...
Over-the-air (OTA) application installation and updates have become a common experience for many end...
User authentication plays a very important role in building a secure computing system. In this thesi...
Smart cards, Chip cards, and Integrated Circuit(s) Cards (ICC) were invented and patented in the 70s...
In multi-application Java Cards, applet's sensitive data must be protected against unauthorized acce...
Abstract. This paper presents an approach enabling a smart card is-suer to verify that a new applet ...
Part 7: Java Card SecurityInternational audienceThe Java Card uses two components to ensure the secu...
Nowadays, JavaCard Platform-based SmartCards are multi-application and support inter-applet collabor...
International audienceThis paper presents a novel approach to the problem of bytecode verification f...
This thesis is concerned with formal development of Java Card applets. Java Card is a technology tha...
This thesis is concerned with different aspects of Java Card application development and use of form...
There is a growing interest for using "intelligent" or "smart" cards such as Sun...
AbstractThis paper discusses a case study in formal verification and development of secure smart car...
Smart cards, Chip cards, and Integrated Circuit(s) Cards (ICC) were invented and patented in the 70s...
Abstract. This paper presents an approach enabling a smart card issuer to verify that a new applet s...
Java Card is a kind of smart card that implements one of the two editions, "Classic Edition" or "Con...
Over-the-air (OTA) application installation and updates have become a common experience for many end...
User authentication plays a very important role in building a secure computing system. In this thesi...
Smart cards, Chip cards, and Integrated Circuit(s) Cards (ICC) were invented and patented in the 70s...
In multi-application Java Cards, applet's sensitive data must be protected against unauthorized acce...
Abstract. This paper presents an approach enabling a smart card is-suer to verify that a new applet ...
Part 7: Java Card SecurityInternational audienceThe Java Card uses two components to ensure the secu...