385 search results - page 8 / 77 » Advances in smart cards |
HICSS
2005
IEEE
14 years 19 days ago
2005
IEEE
The goal of this research is to find a mechanism to guarantee that a file stored in a conventional file system, on disk, has not been modified. Our proposal for achieving that goa...
AMAST
2004
Springer
13 years 10 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
CASSIS
2004
Springer
14 years 13 days ago
2004
Springer
A Java Card applet is, in general, not allowed to access fields and methods of other applets on the same smart card. This applet isolation property is enforced by dynamic checks i...
CARDIS
2008
Springer
13 years 9 months ago
2008
Springer
The mifare Classic is the most widely used contactless smart card in the market. Its design and implementation details are kept secret by its manufacturer. This paper studies the a...
HICSS
2002
IEEE
13 years 12 months ago
2002
IEEE
This research paper presents a new system's design and development of the prescription order communication system (POCS) based on the Internet between the hospital and the ph...