A User Centric Security Model for Tamper-Resistant Devices

C.5 Secure and Trusted Channel Protocol Smart Card
C.5 Secure and Trusted Channel Protocol Smart Card
The Java Card implementation of the STCP SC discussed in section 6.4 is listed in subsequent
sections.
C.5.1
Smart Card Implementation
In this section, we list the smart card implementation of the STCP SC , and the implementation
is similar to the on discussed in section C.9.
1 package protocolSTCPSC ;
2
3 import javacard . framework .APDU;
4 import javacard . framework . Applet ;
5 import javacard . framework . ISO7816 ;
6 import javacard . framework . ISOException ;
7 import javacard . framework . JCSystem ;
8 import javacard . framework . U t i l ;
9 import javacard . s e c u r i t y . AESKey ;
10 import javacard . s e c u r i t y . Key ;
11 import javacard . s e c u r i t y . KeyBuilder ;
12 import javacard . s e c u r i t y . KeyPair ;
13 import javacard . s e c u r i t y . MessageDigest ;
14 import javacard . s e c u r i t y . RSAPrivateKey ;
15 import javacard . s e c u r i t y . RSAPublicKey ;
16 import javacard . s e c u r i t y . RandomData ;
17 import javacard . s e c u r i t y . S i g n a t u r e ;
18 import javacardx . apdu . ExtendedLength ;
19 import javacardx . crypto . Cipher ;
20 public class ProtocolHandler extends Applet implements ExtendedLength {
21 private byte [ ] SPRandomNumberArray ;
22 private byte [ ] SPCookieArray ;
23 private byte [ ] SCSPDHGeneratedValue ;
24 private byte [ ] SCRandomNumberArray ;
25 private byte [ ] S C C e r t i f i c a t e ;
26 private byte [ ] SPDHChallengeTag = {
27 ( byte ) 0x1F , ( byte ) 0x5F , ( byte ) 0x5C , ( byte ) 0x01 } ;
28 private byte [ ] MessageHandlerTagOne = {
29 ( byte ) 0x1F , ( byte ) 0xC0 , ( byte ) 0xAA, ( byte ) 0xAA, ( byte ) 0x00 ,
( byte ) 0x00 ,
30 ( byte ) 0x00 } ;
31 private byte [ ] MessageHandlerTagTwo = {
32 ( byte ) 0x1F , ( byte ) 0xC0 , ( byte ) 0xBB, ( byte ) 0xBB, ( byte ) 0x00 ,
( byte ) 0x00 ,
33 ( byte ) 0x00 } ;
34 private byte [ ] SPIdentity = null ;
35 private byte [ ] SPRandomNumberTag = {
36 ( byte ) 0x1F , ( byte ) 0x5F , ( byte ) 0x5A , ( byte ) 0x01 } ;
37 private byte [ ] SPCookieTag = {
38 ( byte ) 0x1F , ( byte ) 0x5F , ( byte ) 0x5B , ( byte ) 0x01 } ;
313