A User Centric Security Model for Tamper-Resistant Devices

C.4 Secure and Trusted Channel Protocol Service Provider
246 else {
247 System . out . p r i n t l n (
248 " 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 " ) ;
249 }
250 } else i f ( Counter == 2) {
251 this . MessageHandler . r e s e t ( ) ;
252 this . EncryptedData . r e s e t ( ) ;
253 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 ,
254 inMessage . l e n g t h − 2) ;
255 this . childExtractionFromCTLV ( this . MessageHandler ) ;
256 byte [ ] temp = new byte [ 1 6 ] ;
257 this . myProtocolHelperObject . GenerateMac
258 ( this . EncryptedData . getValueBytes ( ) , 0 ,
259 this . EncryptedData . getValueBytes ( ) . length , temp , 0 ,
260 this . mySessionMacKey ) ;
261 i f ( Arrays . e q u a l s ( this . MACedData . getValueBytes ( ) , temp ) ) {}
262 else {
263 System . out . p r i n t l n (
264 " I n t e g r i t y Check F a i l u r e : ERROR at
ProtocolHandler . inMessageProcessing \n" ) ;
265 System . e x i t ( 0 ) ;
266 }
267 this . myProtocolHelperObject . GenerateDecryption
268 ( this . EncryptedData . getValueBytes ( ) , 0 ,
269 this . EncryptedData . getValueBytes ( ) . length ,
270 this . EncryptedData . getBytesTlvRepresentation ( ) , 7 ,
271 this . mySessionEncryptionKey ) ;
272 this . childExtractionFromCTLV ( EncryptedData ) ;
273 i f ( Arrays . e q u a l s ( PlatformHashPreset ,
274 this . PlatformHash . getValueBytes ( ) ) ) {}
275 else {
276 System . out . p r i n t l n ( " Platform Digest Not V e r i f i e d " ) ;
277 }
278 childExtractionFromCTLV ( this . S C C e r t i f i c a t e ) ;
279 B i g I n t e g e r SCpublicExponent = new B i g I n t e g e r ( byteToString
280 ( this . PublicExponent . getValueBytes ( ) ) , 16) ;
281 B i g I n t e g e r SCpublicModulus = new B i g I n t e g e r ( byteToString
282 ( this . PublicModulus . getValueBytes ( ) ) , 16) ;
283 KeyFactory f a c t o r y = KeyFactory . g e t I n s t a n c e ( "RSA" ) ;
284 SCVerificationKey = ( PublicKey ) f a c t o r y . g e n e r a t e P u b l i c (new
285 RSAPublicKeySpec ( SCpublicModulus ,
286 SCpublicExponent ) ) ;
287 temp = new byte [ ( this . PlatformHash . getTagLength ( ) +
288 this . U s e r I d e n t i t y . getTagLength ( ) +
289 this . SCIdentity . getTagLength ( ) +
290 this . SCRandomNumber . getTagLength ( ) +
291 this . SPRandomNumber . getTagLength ( ) ) ] ;
292 System . arraycopy ( this . EncryptedData . getBytesTlvRepresentation
293 ( ) , 7 , temp , 0 , temp . l e n g t h ) ;
294 i f ( this . myProtocolHelperObject . SignatureMethod ( temp , 0 ,
309