A User Centric Security Model for Tamper-Resistant Devices

C.6 Application Acquisition and Contractual Agreement Protocol
280 this . mySessionEncryptionKey ) ;
281 this . childExtractionFromCTLV ( EncryptedData ) ;
282 i f ( Arrays . e q u a l s ( PlatformHashPreset ,
283 this . PlatformHash . getValueBytes ( ) ) ) {}
284 else {
285 System . out . p r i n t l n ( " Platform Digest Not V e r i f i e d " ) ;
286 }
287 childExtractionFromCTLV ( this . S C C e r t i f i c a t e ) ;
288 B i g I n t e g e r SCpublicExponent = new B i g I n t e g e r ( byteToString
289 ( this . PublicExponent . getValueBytes ( ) ) , 16) ;
290 B i g I n t e g e r SCpublicModulus = new B i g I n t e g e r ( byteToString
291 ( this . PublicModulus . getValueBytes ( ) ) , 16) ;
292 KeyFactory f a c t o r y = KeyFactory . g e t I n s t a n c e ( "RSA" ) ;
293 SCVerificationKey = ( PublicKey ) f a c t o r y . g e n e r a t e P u b l i c (new
294 RSAPublicKeySpec ( SCpublicModulus ,
295 SCpublicExponent ) ) ;
296 temp = new byte [ ( this . PlatformHash . getTagLength ( ) +
297 this . U s e r I d e n t i t y . getTagLength ( ) +
298 this . SCIdentity . getTagLength ( ) +
299 this . SCRandomNumber . getTagLength ( ) +
300 this . SPRandomNumber . getTagLength ( ) ) ] ;
301 System . arraycopy ( this . EncryptedData . getBytesTlvRepresentation ( ) ,
7 ,
302 temp , 0 , temp . l e n g t h ) ;
303 i f ( this . myProtocolHelperObject . SignatureMethod ( temp , 0 ,
304 temp . length , this . SignedData . getValueBytes ( ) , 0 ,
305 SCVerificationKey ,
P r o t o c o l H e l p e r C l a s s .SIGN_MODE_VERIFICATION) )
306 {}
307 else {
308 System . out . p r i n t l n (
309 " S i g n a t u r e V e r i f i c a t i o n F a i l e d . . . . . . Check
code " ) ;
310 }
311 }
312 } catch ( Exception cE ) {
313 System . out . p r i n t l n ( " Error i n ProtocolHandler . inMessageProcessing : "
314 + cE . g e t C l a s s ( ) . getName ( ) ) ;
315 }
316 return true ;
317 }
318 public s t a t i c S t r i n g byteToString ( byte [ ] inArray ) {
319 byte [ ] HEX_CHAR_TABLE = {
320 ( byte ) ' 0 ' , ( byte ) ' 1 ' , ( byte ) ' 2 ' , ( byte ) ' 3 ' , ( byte ) ' 4 ' , ( byte ) ' 5 ' ,
321 ( byte ) ' 6 ' , ( byte ) ' 7 ' , ( byte ) ' 8 ' , ( byte ) ' 9 ' , ( byte ) ' a ' , ( byte ) ' b ' ,
322 ( byte ) ' c ' , ( byte ) ' d ' , ( byte ) ' e ' , ( byte ) ' f '
323 } ;
324 byte [ ] hex = new byte [ 2 ∗ inArray . l e n g t h ] ;
325 int index = 0 ;
326 for ( byte b : inArray ) {
327 int v = b & 0xFF ;
356