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

Turning Multi-applications Smart Cards Services Available from Anywhere at Anytime: A SOAP/MOM Approach in the Context of Java Cards

2001 ◽  
pp. 83-94 ◽  
Author(s):  
Didier Donsez ◽  
Sébastien Jean ◽  
Sylvain Lecomte ◽  
Olivier Thomas
Keyword(s):  
Smart Cards

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 An Operational Semantics of the Java Card Firewall

2001 ◽  
pp. 95-110 ◽  
Author(s):  
Marc Éluard ◽  
Thomas Jensen ◽  
Ewen Denne
Keyword(s):  
Operational Semantics ◽  
Java Card

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

Mechanising a Protocol for Smart Cards

2001 ◽  
pp. 19-33 ◽  
Author(s):  
Giampaolo Bella
Keyword(s):  
Smart Cards
Load More ...
Sign in / Sign up

Export Citation Format

Share Document