A User Centric Security Model for Tamper-Resistant Devices

C.5 Secure and Trusted Channel Protocol Smart Card
578 {
579 Array [ a r r a y O f f s e t ] = ( byte ) ( ( short ) ( inShort & ( short ) 0xFF00 ) >>
( short )
580 0 x0008 ) ;
581 Array [ ( short ) ( a r r a y O f f s e t + ( short ) 1) ] = ( byte ) ( inShort & ( short )
582 0x00FF ) ;
583 }
584 }
C.5.2
Service Provider Implementation
Following is the implementation code for the protocol hander used by the SP during the
STCP SC .
1 package j a v a c a r d t e r m i n a l ;
2
3 import java . u t i l . Arrays ;
4 import java . s e c u r i t y . i n t e r f a c e s . RSAPublicKey ;
5 import java . s e c u r i t y . spec . RSAPublicKeySpec ;
6 import java . s e c u r i t y . ∗ ;
7 import java . math . B i g I n t e g e r ;
8 public class ProtocolHandlerSCIn {
9 private byte [ ] SPIdentity = {
10 ( byte ) 0xC5 , ( byte ) 0x7D , ( byte ) 0xB1 , ( byte ) 0x7C , ( byte ) 0x62 ,
( byte ) 0x0A ,
11 ( byte ) 0x86 , ( byte ) 0x52 , ( byte ) 0xBE, ( byte ) 0x5E , ( byte ) 0x90 , ( byte )
12 0x01 , ( byte ) 0xA8 , ( byte ) 0xD6 , ( byte ) 0x6A , ( byte ) 0xD7 } ;
13 private byte [ ] SCIP = {
14 ( byte ) 0xC5 , ( byte ) 0x7D , ( byte ) 0xB1 , ( byte ) 0x7C } ;
15 private byte [ ] PlatformHashPreset = {
16 ( byte ) 0xBF , ( byte ) 0xE5 , ( byte ) 0x45 , ( byte ) 0x86 , ( byte ) 0x2C ,
( byte ) 0xA1 ,
17 ( byte ) 0x02 , ( byte ) 0xAD, ( byte ) 0x1E , ( byte ) 0xED, ( byte ) 0xDB, ( byte )
18 0x5F , ( byte ) 0xBF , ( byte ) 0xA5 , ( byte ) 0xBF , ( byte ) 0x85 , ( byte ) 0x5A ,
19 ( byte ) 0xC4 , ( byte ) 0x99 , ( byte ) 0x5C , ( byte ) 0x56 , ( byte ) 0xA8 , ( byte )
20 0xB4 , ( byte ) 0x08 , ( byte ) 0xCE, ( byte ) 0x3F , ( byte ) 0xE0 , ( byte ) 0x99 ,
21 ( byte ) 0xDC, ( byte ) 0xE9 , ( byte ) 0x3A , ( byte ) 0x9D } ;
22 private byte [ ] MessageHandlerTagOne = {(byte ) 0xAA, ( byte ) 0xAA} ;
23 private byte [ ] MessageHandlerTagTwo = {(byte ) 0xBB, ( byte ) 0xBB} ;
24 private byte [ ] SPIdentityTag = {( byte ) 0x5F , ( byte ) 0x01 } ;
25 private byte [ ] SPDHChallengeTag = {(byte ) 0x5C , ( byte ) 0x01 } ;
26 private byte [ ] SPSignatureCertTag = {(byte ) 0xF0 , ( byte ) 0xF01 } ;
27 private byte [ ] SPSigVerificationKeyTag = {(byte ) 0x51 , ( byte ) 0x01 } ;
28 private byte [ ] SPRandomNumberTag = {(byte ) 0x5A , ( byte ) 0x01 } ;
29 private byte [ ] SPCookieTag = {( byte ) 0x5B , ( byte ) 0x01 } ;
30 private byte [ ] EncryptedDataTag = {( byte ) 0xFE , ( byte ) 0x01 } ;
31 private byte [ ] MACedDataTag = {( byte ) 0x5D , ( byte ) 0x01 } ;
32 private byte [ ] SignedDataTag = {( byte ) 0x5D , ( byte ) 0x02 } ;
33 private byte [ ] PublicExponentTag = {(byte ) 0xEE , ( byte ) 0x01 } ;
34 private byte [ ] PublicModulusTag = {( byte ) 0xEE , ( byte ) 0x02 } ;
35 private byte [ ] SCDHChallengeTag = {(byte ) 0x5C , ( byte ) 0x02 } ;
325