4 search results - page 1 / 1 » Reasoning about Card Tears and Transactions in Java Card |
FASE
2004
Springer
13 years 10 months ago
2004
Springer
The Java dialect Java Card for programming smartcards contains some features which do not exist in Java. Java Card distinguishes persistent and transient data (data stored in EEPRO...
CADE
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
CCS
2009
ACM
13 years 11 months ago
2009
ACM
Secure identity tokens such as Electronic Identity (eID) cards are emerging everywhere. At the same time usercentric identity management gains acceptance. Anonymous credential sch...
ESOP
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. There are many settings in which sensitive information is made available to a system or organisation for a specific purpose, on the understanding that it will be erased o...