Results 231 to 240 of about 80,615 (252)

Punch cards vs Java

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

Java Card and OCF

2000
Uwe Hansmann, Martin S. Nicklous, Thomas Schäck, Frank Seliger   +3 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, Cinzia Bernardeschi, Paolo Masci   +2 more
exaly  

The ultimate control flow transfer in a Java based smart card

Computers and Security, 2015
Guillaume Bouffard
exaly  

Specification and Runtime Verification of Java Card Programs

Electronic Notes in Theoretical Computer Science, 2009
Umberto Souza da Costa, Anamaria Martins Moreira, Martin Musicante   +2 more
exaly  

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

Science of Computer Programming, 2012
Umberto Souza da Costa, Anamaria Martins Moreira, Martin Musicante   +2 more
exaly  

CARD9 impacts colitis by altering gut microbiota metabolism of tryptophan into aryl hydrocarbon receptor ligands

Nature Medicine, 2016
Bruno Lamas, Mathias L Richard, Hang-Phuong Pham   +2 more
exaly  

Gemplus announces Java Card prototype

Card Technology Today, 2005
openaire   +1 more source

A password-authenticated secure channel for App to Java Card applet communication

International Journal of Pervasive Computing and Communications, 2015
Michael Hölzl, René Mayrhofer, Michael Roland   +2 more
exaly  

Biometrics secures Sun’s Java Card

Computer Fraud & Security, 2000
openaire   +1 more source