A User Centric Security Model for Tamper-Resistant Devices

C.5 Secure and Trusted Channel Protocol Smart Card
184 i f ( Counter == 1) {
185 this . S C P r o t o c o l I n i t i a t o r . s e t B y t e s T l v R e p r e s e n t a t i o n ( inMessage , 0 ,
186 22) ;
187 } else
188 i f ( Counter == 2) {
189 this . MessageHandler . r e s e t ( ) ;
190 this . EncryptedData . r e s e t ( ) ;
191 this . MessageHandler . s e t B y t e s T l v R e p r e s e n t a t i o n ( inMessage , 0 ,
192 inMessage . l e n g t h − 2) ;
193 this . childExtractionFromCTLV ( this . MessageHandler ) ;
194 GenerateKeys ( this . SCDHChallenge . getValueBytes ( ) ) ;
195 byte [ ] temp = new byte [ 1 6 ] ;
196 this . myProtocolHelperObject . GenerateMac
197 ( this . EncryptedData . getValueBytes ( ) , 0 ,
198 this . EncryptedData . getValueBytes ( ) . length , temp , 0 ,
199 this . mySessionMacKey ) ;
200 i f ( Arrays . e q u a l s ( this . MACedData . getValueBytes ( ) , temp ) ) {}
201 else {
202 System . out . p r i n t l n (
203 " I n t e g r i t y Check F a i l u r e : ERROR at
ProtocolHandler . inMessageProcessing \n" ) ;
204 System . e x i t ( 0 ) ;
205 }
206 this . myProtocolHelperObject . GenerateDecryption
207 ( this . EncryptedData . getValueBytes ( ) , 0 ,
208 this . EncryptedData . getValueBytes ( ) . length ,
209 this . EncryptedData . getBytesTlvRepresentation ( ) , 7 ,
210 this . mySessionEncryptionKey ) ;
211 this . childExtractionFromCTLV ( EncryptedData ) ;
212 i f ( Arrays . e q u a l s ( PlatformHashPreset ,
213 this . PlatformHash . getValueBytes ( ) ) ) {}
214 else {
215 System . out . p r i n t l n ( " Platform Digest Not V e r i f i e d " ) ;
216 }
217 childExtractionFromCTLV ( this . S C C e r t i f i c a t e ) ;
218 B i g I n t e g e r SCpublicExponent = new B i g I n t e g e r ( byteToString
219 ( this . PublicExponent . getValueBytes ( ) ) , 16) ;
220 B i g I n t e g e r SCpublicModulus = new B i g I n t e g e r ( byteToString
221 ( this . PublicModulus . getValueBytes ( ) ) , 16) ;
222 KeyFactory f a c t o r y = KeyFactory . g e t I n s t a n c e ( "RSA" ) ;
223 SCVerificationKey = ( PublicKey ) f a c t o r y . g e n e r a t e P u b l i c (new
224 RSAPublicKeySpec ( SCpublicModulus ,
225 SCpublicExponent ) ) ;
226 temp = new byte [ ( this . PlatformHash . getTagLength ( ) +
227 this . SCIdentity . getTagLength ( ) +
228 this . SCRandomNumber . getTagLength ( ) +
229 this . SPRandomNumber . getTagLength ( ) ) ] ;
230 System . arraycopy ( this . EncryptedData . getBytesTlvRepresentation ( ) ,
7 ,
231 temp , 0 , temp . l e n g t h ) ;
232 i f ( this . myProtocolHelperObject . SignatureMethod ( temp , 0 ,
329