A User Centric Security Model for Tamper-Resistant Devices

C.7 Application Binding Protocol - Local
88 pMessage [ 2 ] = ( byte ) 3 2 ;
89 pMessage [ 0 ] = ( byte ) 6 8 ;
90 generateEncryptedData ( ( short ) pMessage [ 0 ] , ( short ) pMessage [ 2 ] ,
91 SerTpmKey) ;
92 myTPMRef. v a l i d a t e A p p l i c a t i o n s ( pMessage ) ;
93 generatedDecryptedData ( ( short ) 68 , ( short ) 64 , SerTpmKey) ;
94 sessionKey = (AESKey) KeyBuilder . buildKey ( KeyBuilder .TYPE_AES,
95 KeyBuilder .LENGTH_AES_128, f a l s e ) ;
96 sessionKey . setKey ( pMessage , ( short ) (100) ) ;
97 myServerClientAppKey = (AESKey) KeyBuilder . buildKey
98 ( KeyBuilder .TYPE_AES,
99 KeyBuilder .LENGTH_AES_128, f a l s e ) ;
100 byte [ ] keyGenerationArray = JCSystem . makeTransientByteArray (
101 ( short ) 16 , JCSystem .MEMORY_TYPE_TRANSIENT_DESELECT) ;
102 myServerAppRandomData . generateData ( keyGenerationArray , (short ) 0 ,
103 ( short ) keyGenerationArray . l e n g t h ) ;
104 myServerClientAppKey . setKey ( keyGenerationArray , ( short ) 0) ;
105 for ( short i = 0 ; i < 1 6 ; i ++) {
106 RandomNumberClient [ i ] = (byte ) 0xFF ;
107 }
108 myServerClientAppKey . getKey ( pMessage , ( short ) 68) ;
109 U t i l . arrayCopyNonAtomic ( RandomNumberClient , ( short ) 0 , p_Message ,
110 ( short ) 84 , ( short )
111 RandomNumberClient . l e n g t h ) ;
112 U t i l . arrayCopyNonAtomic ( RandomNumberServer , ( short ) 0 , p_Message ,
113 ( short ) 100 , ( short )
114 RandomNumberServer . l e n g t h ) ;
115 generateEncryptedData ( ( short ) 68 , ( short ) 48 , sessionKey ) ;
116 U t i l . arrayCopyNonAtomic ( TokenValue , ( short ) 0 , pMessage , ( short )
117 116 , ( short ) TokenValue . l e n g t h ) ;
118 xorRandomNumberCS ( ( short ) 120) ;
119 generateEncryptedData ( ( short ) 116 , ( short ) 20 ,
120 myServerClientAppKey ) ;
121 generateSignatureData ( ( short ) 116 , ( short ) 32) ;
122 return ;
123 }
124 i f ( s t a g e == 2) {
125 generatedDecryptedData ( ( short ) 4 , ( short ) 32 ,
126 myServerClientAppKey ) ;
127 i f ( ( byte ) U t i l . arrayCompare ( TokenValue , ( short ) 0 , pMessage ,
128 ( short ) 14 , ( short ) 4) == ( byte ) 0) {
129 return ;
130 } else {
131 ISOException . throwIt ( ( short ) 0xFFFF) ;
132 }
133 } else {
134 ISOException . throwIt ( ( short ) 0 x6300 ) ;
135 }
136 }
137 protected void xorRandomNumberCS ( short s t a r t ) {
138 for ( short i = 0 ; i < ( short ) 1 6 ; i ++, s t a r t++) {
371