Add to ORKGAbstract. This paper presents an approach enabling a smart card is-suer to verify that a new applet securely interacts with already down-loaded applets. A security policy has been dened that associates levels to applet attributes and methods and denes authorized flows between levels. We propose a technique based on model checking to verify that actual information flows between applets are authorized. We illustrate our approach on applets involved in an electronic purse running on Java enabled smart cards
Abstract. Smart card Web server provides a modern interface between smart cards and the external wor...
Modern multi-application smart cards can become an integrated environment where applications from di...
Abstract. Recent developments in mobile code and embedded systems have led to an increased interest ...
Abstract. This paper presents an approach enabling a smart card issuer to verify that a new applet s...
Abstract. This paper presents the use of a method – and its corre-sponding tool set – for compositio...
AbstractThis paper discusses a case study in formal verification and development of secure smart car...
The paper describes the status of a joint project between Gemplus and ONERA. Gemplus developed an el...
This paper presents some practical issues of a joint project between Gemplus and ONERA. In this app...
AbstractThe paper describes the status of a joint project between Gemplus and ONERA. Gemplus develop...
International audienceWe propose a formal framework based on the B method, that supports the develop...
In multi-application Java Cards, applet's sensitive data must be protected against unauthorized acce...
International audienceWhile mobile devices have become ubiquitous and generally multi-application ca...
The paper describes a framework for model checking JavaCard applets on the bytecode level. >From a s...
International audienceThis paper presents a novel approach to the problem of bytecode verification f...
Part 1: Smart Cards System SecurityInternational audienceSmart card Web server provides a modern int...
Abstract. Smart card Web server provides a modern interface between smart cards and the external wor...
Modern multi-application smart cards can become an integrated environment where applications from di...
Abstract. Recent developments in mobile code and embedded systems have led to an increased interest ...
Abstract. This paper presents an approach enabling a smart card issuer to verify that a new applet s...
Abstract. This paper presents the use of a method – and its corre-sponding tool set – for compositio...
AbstractThis paper discusses a case study in formal verification and development of secure smart car...
The paper describes the status of a joint project between Gemplus and ONERA. Gemplus developed an el...
This paper presents some practical issues of a joint project between Gemplus and ONERA. In this app...
AbstractThe paper describes the status of a joint project between Gemplus and ONERA. Gemplus develop...
International audienceWe propose a formal framework based on the B method, that supports the develop...
In multi-application Java Cards, applet's sensitive data must be protected against unauthorized acce...
International audienceWhile mobile devices have become ubiquitous and generally multi-application ca...
The paper describes a framework for model checking JavaCard applets on the bytecode level. >From a s...
International audienceThis paper presents a novel approach to the problem of bytecode verification f...
Part 1: Smart Cards System SecurityInternational audienceSmart card Web server provides a modern int...
Abstract. Smart card Web server provides a modern interface between smart cards and the external wor...
Modern multi-application smart cards can become an integrated environment where applications from di...
Abstract. Recent developments in mobile code and embedded systems have led to an increased interest ...