A User Centric Security Model for Tamper-Resistant Devices

C.2 Online Attestation Mechanism
C.2.1
Online PRNG Algorithm
The Java Card implementation of the oine PRNG algorithm discussed in section 4.5.2.
1 package selftestOnlinePRNG ;
2
3 import javacard . framework .APDU;
4 import javacard . framework . Applet ;
5 import javacard . framework . ISO7816 ;
6 import javacard . framework . ISOException ;
7 import javacard . framework . JCSystem ;
8 import javacard . framework . U t i l ;
9 import javacard . s e c u r i t y . AESKey ;
10 import javacard . s e c u r i t y . Key ;
11 import javacard . s e c u r i t y . KeyBuilder ;
12 import javacard . s e c u r i t y . KeyPair ;
13 import javacard . s e c u r i t y . MessageDigest ;
14 import javacard . s e c u r i t y . RSAPrivateKey ;
15 import javacard . s e c u r i t y . RSAPublicKey ;
16 import javacard . s e c u r i t y . RandomData ;
17 import javacard . s e c u r i t y . S i g n a t u r e ;
18 import javacardx . apdu . ExtendedLength ;
19 import javacardx . crypto . Cipher ;
20 import javacard . s e c u r i t y . MessageDigest ;
21
22 public class S e l f t e s t O f f l i n e extends Applet implements ExtendedLength {
23 private s t a t i c byte [ ] MemoryContents = {
24 ( byte ) 0x37 , ( byte ) 0x7a , ( byte ) 0xbc , ( byte ) 0xc0 , ( byte ) 0xea , ( byte )
25 0x07 , ( byte ) 0x94 , ( byte ) 0x59 , ( byte ) 0xd6 , ( byte ) 0x37 , ( byte ) 0x6b ,
26 ( byte ) 0x4c , ( byte ) 0x82 , ( byte ) 0xdb , ( byte ) 0x54 , ( byte ) 0xb2 ,
27 ( byte ) 0xe8 , ( byte ) 0xea , ( byte ) 0x71 , ( byte ) 0xe1 , ( byte ) 0xa4 ,
28 ( byte ) 0x41 , ( byte ) 0x06 , ( byte ) 0x44 , ( byte ) 0 xfe , ( byte ) 0x86 ,
29 ( byte ) 0x8e , ( byte ) 0 x4f , ( byte ) 0x39 , ( byte ) 0 xf5 , ( byte ) 0xdb ,
30 ( byte ) 0xd1 , ( byte ) 0 xf1 , ( byte ) 0xc5 , ( byte ) 0xd8 , ( byte ) 0xac ,
31 ( byte ) 0xbb , ( byte ) 0x73 , ( byte ) 0x51 , ( byte ) 0xa1 , ( byte ) 0xa3 ,
32 ( byte ) 0x8a , ( byte ) 0x26 , ( byte ) 0x5d , ( byte ) 0 xf3 , ( byte ) 0x61 ,
33 ( byte ) 0x55 , ( byte ) 0x56 , ( byte ) 0x39 , ( byte ) 0 x3f , ( byte ) 0x4c ,
34 ( byte ) 0x2a , ( byte ) 0x43 , ( byte ) 0xc4 , ( byte ) 0xd7 , ( byte ) 0xa1 ,
35 ( byte ) 0xaa , ( byte ) 0xc1 , ( byte ) 0 xf2 , ( byte ) 0xd6 , ( byte ) 0x07 ,
36 ( byte ) 0xa8 , ( byte ) 0x58 , ( byte ) 0x9a , ( byte ) 0x70 , ( byte ) 0x84 ,
37 ( byte ) 0x15 , ( byte ) 0x19 , ( byte ) 0x56 , ( byte ) 0x61 , ( byte ) 0x3d ,
38 ( byte ) 0x88 , ( byte ) 0x2a , ( byte ) 0x44 , ( byte ) 0x54 , ( byte ) 0x29 ,
39 ( byte ) 0x29 , ( byte ) 0x26 , ( byte ) 0x36 , ( byte ) 0x06 , ( byte ) 0 xfe ,
40 ( byte ) 0xad , ( byte ) 0x27 , ( byte ) 0x13 , ( byte ) 0x86 , ( byte ) 0x0e ,
41 ( byte ) 0x85 , ( byte ) 0x3c , ( byte ) 0x32 , ( byte ) 0xe2 , ( byte ) 0x38 ,
42 ( byte ) 0xd2 , ( byte ) 0x91 , ( byte ) 0x82 , ( byte ) 0x89 , ( byte ) 0 xce ,
43 ( byte ) 0x79 , ( byte ) 0x02 , ( byte ) 0x43 , ( byte ) 0 xfd , ( byte ) 0 xaf ,
44 ( byte ) 0x18 , ( byte ) 0xe8 , ( byte ) 0x5b , ( byte ) 0xd4 , ( byte ) 0x72 ,
45 ( byte ) 0x03 , ( byte ) 0x63 , ( byte ) 0x2b , ( byte ) 0x29 , ( byte ) 0x72 ,
46 ( byte ) 0xe0 , ( byte ) 0x92 , ( byte ) 0x54 , ( byte ) 0x06 , ( byte ) 0x1c ,
47 ( byte ) 0 x7f , ( byte ) 0xc7 , ( byte ) 0x37 , ( byte ) 0x93 , ( byte ) 0 x2f ,
48 ( byte ) 0x7a , ( byte ) 0x84 , ( byte ) 0x95 , ( byte ) 0 xec , ( byte ) 0x5e ,
263