A User Centric Security Model for Tamper-Resistant Devices

C.9 Platform Binding Protocol
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 {
22 private byte [ ] SCBDHChanllengerArray ;
23 private byte [ ] SCBRandomNumberArray ;
24 private byte [ ] SCBCookieArray ;
25 private byte [ ] SCASCBDHGeneratedValue ;
26 private byte [ ] SCARandomNumberArray ;
27 private byte [ ] SCAUserCertificate ;
28 private byte [ ] SCACertificate ;
29 private byte [ ] SCBDHChallengeTag = {
30 ( byte ) 0x1F , ( byte ) 0x5F , ( byte ) 0x5C , ( byte ) 0x01 } ;
31 private byte [ ] MessageHandlerTagOne = {
32 ( byte ) 0x1F , ( byte ) 0xC0 , ( byte ) 0xAA, ( byte ) 0xAA, ( byte ) 0x00 , ( byte )
33 0x00 , ( byte ) 0x00 } ;
34 private byte [ ] MessageHandlerTagTwo = {
35 ( byte ) 0x1F , ( byte ) 0xC0 , ( byte ) 0xBB, ( byte ) 0xBB, ( byte ) 0x00 , ( byte )
36 0x00 , ( byte ) 0x00 } ;
37 private byte [ ] SCBIdentity = null ;
38 private byte [ ] SCBRandomNumberTag = {
39 ( byte ) 0x1F , ( byte ) 0x5F , ( byte ) 0x5A , ( byte ) 0x01 } ;
40 private byte [ ] SCBCookieTag = {
41 ( byte ) 0x1F , ( byte ) 0x5F , ( byte ) 0x5B , ( byte ) 0x01 } ;
42 private byte [ ] EncryptedDataTag = {
43 ( byte ) 0x1F , ( byte ) 0xC0 , ( byte ) 0xFE , ( byte ) 0x01 } ;
44 private byte [ ] SignedDataTag = {
45 ( byte ) 0x1F , ( byte ) 0x5F , ( byte ) 0x5D , ( byte ) 0x02 } ;
46 private byte [ ] MACedDataTag = {
47 ( byte ) 0x1F , ( byte ) 0x5F , ( byte ) 0x5D , ( byte ) 0x01 } ;
48 private byte [ ] PlatformHash = {
49 ( byte ) 0x1F , ( byte ) 0x5F , ( byte ) 0x5E , ( byte ) 0xAF} ;
50 private byte [ ] SCAIdentityTag = {
51 ( byte ) 0x1F , ( byte ) 0x5F , ( byte ) 0x5F , ( byte ) 0x02 , ( byte ) 0x00 , ( byte )
52 0x12 , ( byte ) 0x7A , ( byte ) 0xD5 , ( byte ) 0xB7 , ( byte ) 0xD0 , ( byte ) 0xB6 ,
53 ( byte ) 0xC1 , ( byte ) 0x22 , ( byte ) 0x07 , ( byte ) 0xC9 , ( byte ) 0xF9 ,
54 ( byte ) 0x8D , ( byte ) 0x11 , ( byte ) 0xED, ( byte ) 0x34 , ( byte ) 0xDB,
55 ( byte ) 0xF6 , ( byte ) 0x0B , ( byte ) 0x2C } ;
56 private byte [ ] U s e r I d e n t i t y = {
57 ( byte ) 0x1F , ( byte ) 0x5F , ( byte ) 0x5F , ( byte ) 0x03 , ( byte ) 0x00 , ( byte )
58 0x14 , ( byte ) 0x7A , ( byte ) 0xD5 , ( byte ) 0xB7 , ( byte ) 0xD0 , ( byte ) 0xB6 ,
59 ( byte ) 0xC1 , ( byte ) 0x22 , ( byte ) 0x07 , ( byte ) 0xC9 , ( byte ) 0xC9 ,
60 ( byte ) 0x8D , ( byte ) 0xD1 , ( byte ) 0xED, ( byte ) 0xFC, ( byte ) 0xDB,
61 ( byte ) 0xF6 , ( byte ) 0x0B , ( byte ) 0x2C , ( byte ) 0x0B , ( byte ) 0x2C } ;
62 private byte [ ] ExponentTag = {
63 ( byte ) 0x1F , ( byte ) 0x5F , ( byte ) 0xEE , ( byte ) 0x01 } ;
64 private byte [ ] ModulusTag = {
65 ( byte ) 0x1F , ( byte ) 0x5F , ( byte ) 0xEE , ( byte ) 0x02 } ;
66 private byte [ ] SCADHChalleneTag = {
67 ( byte ) 0x1F , ( byte ) 0x5F , ( byte ) 0x5C , ( byte ) 0x02 } ;
405