This paper presents an authorization scheme for applications distributed on the Internet with
two levels of access control: a global level, implemented through a fault-and intrusion …

This paper presents an authorization scheme for applications distributed on the Internet with
two levels of access control: a global level, implemented through a faultand intrusion …

Smartcards have traditionally been isolated from computer networks, communicating
exclusively with the host computers to which they are attached. As a result, users can only …

This paper describes JCCap, a protection facility for cooperating applications in the context
of Java Card. It enables the control of access rights between mutually suspicious …

As the use of information technology is increasing rapidly in organizations around the world,
an important task is to design global networks with high security, efficiency and functionality …

This paper describes an approach to formally prove that an implementation of the Java Card
Remote Method Invocation protocol on smart cards fulfills its functional and security …

The smart card-which offers Internet programmers a truly safe place to generate and store a
private encryption key-will soon be recognized as a useful component of Internet computing …

As the Internet is used increasingly as a platform for business transactions, security
becomes a primary issue for Internet applications. Some applications are too sensitive for …

Integration of smartcards in distributed computing environments still suffers from the lack of
connectivity and processing power available on smartcards. A natural solution is the use of …

This paper describes a case study in refining an abstract security protocol description down
to a concrete implementation on a Java Card smart card. The aim is to consider the …