Results 221 to 230 of about 81,045 (237)
Some of the next articles are maybe not open access.

Extended Secure Memory for a Java Card in the Context of the Java Card Grid project

2006
The Java Card (TM) Grid platform is a project carried out at LaBRI, Laboratoire Bordelais de Recherche en Informatique. It consists in setting up a platform composed of a large number of smart cards connected together by USB hubs and driven by PCs. The Java Card readers are assembled in a wall mount rack and are organized in a cluster-like architecture.
Chaumette, Serge   +2 more
openaire   +1 more source

JCSI: A tool for checking secure information flow in Java Card applications

Journal of Systems and Software, 2012
Marco Avvenuti   +2 more
exaly  

Punch cards vs Java

XRDS: Crossroads, The ACM Magazine for Students, 2010
openaire   +1 more source

A light-weight compression method for Java card technology

ACM SIGBED Review, 2015
Reinhold Weiss, Johannes Loinig
exaly  

JCML: A specification language for the runtime verification of Java Card programs

Science of Computer Programming, 2012
Umberto S Costa   +2 more
exaly  

Java Card and OCF

2000
Uwe Hansmann   +3 more
openaire   +1 more source

Specification and Runtime Verification of Java Card Programs

Electronic Notes in Theoretical Computer Science, 2009
Umberto S Costa   +2 more
exaly  

Combined Software and Hardware Attacks on the Java Card Control Flow

Lecture Notes in Computer Science, 2011
Guillaume Bouffard, Jean-Louis lanet
exaly  

Measurement Analysis When Benchmarking Java Card Platforms

Lecture Notes in Computer Science, 2009
Samia Bouzefrane
exaly  

Home - About - Disclaimer - Privacy