56 search results - page 9 / 12 » A Protocol for Programmable Smart Cards |
FAC
2008
14 years 9 months ago
2008
This paper explains how the Alloy model-finding method has been used to check the specification of an electronic purse (also called smart card) system, called the Mondex case study...
EMSOFT
2004
Springer
15 years 2 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
APNOMS
2007
Springer
15 years 3 months ago
2007
Springer
In this paper, we propose a new user authentication (UA) scheme based on one-time password (OTP) protocol for home networks. The proposed scheme is to authenticate home users ident...
EUROPKI
2004
Springer
15 years 2 months ago
2004
Springer
We present a new threshold password-based authentication protocol that allows a roaming user(a user who accesses a network from different client terminals) to download a private k...
104
click to vote
PKC
1999
Springer
15 years 1 months ago
1999
Springer
With the development of high speed computer networks, video service on the Web has huge market potential in that the video service can be provided to subscribers with greater time ...