Design and Implementation of Arbitrary Precision Class for Public Key Crypto API based on Java Card [PDF]
, 2002 Sung Jun Kim +3 more
openalex +1 more source
Design and Implementation of User Authentication Protocol for Wireless Devices based on Java Card [PDF]
, 2003 Ju-Hwa Lee, Kyoung-Su Seol, Minsoo Jung
openalex +1 more source
Підвищення безпеки комп'ютерних систем за допомогою використання Java Card технології
, 2006 Максим Ігорович Спирягін +4 more
openalex +2 more sources
Implementing a Formally Verifiable Security Protocol in Java Card [PDF]
, 2004 Engelbert Hubbers +2 more
openalex +1 more source
Automata-Based Programming Technology Extension for Generation of JML Annotated Java Card Code
, 2008 Andrey Klebanov, Alexander Mikhaylov
openalex +1 more source
Formalisation and Verification of Java Card Security Properties in Dynamic Logic [PDF]
, 2005 Wojciech Mostowski
openalex +1 more source
Performance Issues of Selective Disclosure and Blinded Issuing Protocols on Java Card
, 2009 Hendrik Tews, Bart Jacobs
openalex +1 more source
On the Performance of Certificate Revocation Protocols Based on a Java Card Certificate Client Implementation [PDF]
, 2005 Κωνσταντίνος Παπαπαναγιώτου +4 more
openalex +1 more source
Specification and Runtime Verification of Java Card Programs
, 2009 Umberto Souza da Costa +3 more
openalex +1 more source
JCML: A specification language for the runtime verification of Java Card programs
, 2010 Umberto Souza da Costa +3 more
openalex +1 more source