Smart Card Programming and Security - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

21
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540426103, 9783540454182
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Jakarta: A Toolset for Reasoning about JavaCard

2001 ◽  
pp. 2-18 ◽  
Author(s):  
G. Barthe ◽  
G. Dufay ◽  
M. Huisman ◽  
S. Melo de Sousa

scholarly journals An Internet Authorization Scheme Using Smart-Card-Based Security Kernels

2001 ◽  
pp. 71-82
Author(s):  
Yves Deswarte ◽  
Noreddine Abghour ◽  
Vincent Nicomette ◽  
David Powell
Keyword(s):  
Smart Card ◽  
Security Kernels

scholarly journals JCCM: Flexible Certificates for smartcards with Java Card

2001 ◽  
pp. 34-42 ◽  
Author(s):  
Celeste Campo ◽  
Andrés Marín ◽  
Arturo García ◽  
Ignacio Díaz ◽  
Peter T. Breuer ◽  
...  
Keyword(s):  
Java Card
Load More ...
Sign in / Sign up

Export Citation Format

Share Document