This article describes a Java Card programming environment which to a large extent is generated from formal specifications of the syntax and semantic...
Smart cards are the key for information technology applications such as banking, e-purse and many others. The expanding functionality of smart cards...
This paper reports on an effort to increase the reliability of JavaCard-based smart cards by means of formal specification and verification of JavaCa...
The cryptographic primitives that are commonly implemented on smart cards are presented. The attacks that can be mounted on smart cards are discussed...
This paper describes the Dynamic-RED (DRED) algorithm, an active queue management algorithm for TCP/IP networks. In random early detection (RED), one...
