A User Centric Security Model for Tamper-Resistant Devices

C.6 Application Acquisition and Contractual Agreement Protocol
619 }
620 } else {
621 return f a l s e ;
622 }
623 }
624 void processSPsThirdMsg ( byte [ ] inArray ) {
625 short i n O f f s e t = ( short ) ( this . CTLVDataOffset + this . CTLVDataOffset ) ;
626 short inLength = ( short ) ( ProtocolHandler . bytesToShort ( inArray , ( short )
627 ( i n O f f s e t − ( short ) 3) ) ) ;
628 i f ( this . macGenerate ( inArray , i n O f f s e t , inLength ,
629 S i g n a t u r e .MODE_VERIFY) ) {
630 this . phDecryption ( inArray , i n O f f s e t , inLength ) ;
631 U t i l . arrayCopyNonAtomic ( inArray , i n O f f s e t , this . SPIdentity ,
( short ) 0 ,
632 ( short ) this . SPIdentity . l e n g t h ) ;
633 i n O f f s e t += ( short ) 1 5 1 ;
634 inLength = ( short ) 3 ;
635 SPVerificationKey . setExponent ( inArray , i n O f f s e t , inLength ) ;
636 i n O f f s e t += ( short ) ( inLength + this . PTLVDataOffset ) ;
637 inLength = ( short ) 6 4 ;
638 SPVerificationKey . setModulus ( inArray , i n O f f s e t , inLength ) ;
639 i n O f f s e t = ( short ) ( this . CTLVDataOffset + this . CTLVDataOffset ) ;
640 inLength = ( short ) 6 8 ;
641 i f ( this . signGenerate ( inArray , i n O f f s e t , inLength ,
SPVerificationKey ,
642 S i g n a t u r e .MODE_VERIFY) ) {
643 return ;
644 } else {
645 ISOException . throwIt ( ( short ) 0 x6666 ) ;
646 }
647 } else {
648 ISOException . throwIt ( ( short ) 0xFA18) ;
649 }
650 }
651 void parseMessage ( byte [ ] i n B u f f e r ) {
652 byte c h i l d L e f t = i n B u f f e r [ ( short ) ( this . CTLVDataOffset − ( short ) 1) ] ;
653 short p o i n t e r = ( short ) this . CTLVDataOffset ;
654 while ( c h i l d L e f t > 0) {
655 i f ( U t i l . arrayCompare ( SPDHChallengeTag , ( short ) 0 , i n B u f f e r , pointer ,
656 ( short ) 4) == 0) {
657 U t i l . arrayCopy ( i n B u f f e r , pointer , this . SPDHChanllengerArray ,
658 ( short ) 0 , ( short ) this . SPDHChanllengerArray . l e n g t h ) ;
659 p o i n t e r += ( short ) this . SPDHChanllengerArray . l e n g t h ;
660 } else i f ( U t i l . arrayCompare ( this . SPRandomNumberTag , ( short ) 0 ,
661 i n B u f f e r , pointer , ( short ) 4) == 0) {
662 U t i l . arrayCopyNonAtomic ( i n B u f f e r , pointer ,
663 this . SPRandomNumberArray , ( short ) 0 ,
( short )
664 ( this . SPRandomNumberArray . l e n g t h ) ) ;
665 p o i n t e r += ( short ) ( this . SPRandomNumberArray . l e n g t h ) ;
666 } else i f ( U t i l . arrayCompare ( this . SPCookieTag , ( short ) 0 , i n B u f f e r ,
346