A User Centric Security Model for Tamper-Resistant Devices

C.10 Abstract Virtual Machine
603 }
604 }
C.10 Abstract Virtual Machine
In this section, we illustrate the implementation of the abstract virtual machine that counts
the number of selected opcodes a Java Card application has and calculate the associated
cost for individual security mechanism.
1 package abstractVM ;
2
3 import java . i o . ∗ ;
4 import java . u t i l . I t e r a t o r ;
5 import org . apache . l u c e n e . a n a l y s i s . Analyzer ;
6 import org . apache . l u c e n e . a n a l y s i s . standard . StandardAnalyzer ;
7 import org . apache . l u c e n e . document . Document ;
8 import org . apache . l u c e n e . document . F i e l d ;
9 import org . apache . l u c e n e . index . CorruptIndexException ;
10 import org . apache . l u c e n e . index . IndexReader ;
11 import org . apache . l u c e n e . index . IndexWriter ;
12 import org . apache . l u c e n e . queryParser . ParseException ;
13 import org . apache . l u c e n e . queryParser . QueryParser ;
14 import org . apache . l u c e n e . s e a r c h . Hit ;
15 import org . apache . l u c e n e . s e a r c h . Hits ;
16 import org . apache . l u c e n e . s e a r c h . IndexSearcher ;
17 import org . apache . l u c e n e . s e a r c h . Query ;
18 import org . apache . l u c e n e . s t o r e . D i r e c t o r y ;
19 import org . apache . l u c e n e . s t o r e . FSDirectory ;
20 import org . apache . l u c e n e . s t o r e . LockObtainFailedException ;
21 public class abstractVirtualMachine {
22 private S t r i n g inputClassFileName = " e v a l u a t i o n F i l e " ;
23 private S t r i n g mnemonicOutputFileName = inputClassFileName + " . t x t " ;
24 public s t a t i c f i n a l S t r i n g FILES_TO_INDEX_DIRECTORY =
25 "D: \ \ e v a l u a t i o n F o l d e r " ;
26 public s t a t i c f i n a l S t r i n g INDEX_DIRECTORY =
27 "D: \ \ e v a l u a t i o n F o l d e r \\ indexFolder " ;
28 public s t a t i c f i n a l S t r i n g FIELD_PATH = " path " ;
29 public s t a t i c f i n a l S t r i n g FIELD_CONTENTS = " c o n t e n t s " ;
30 public s t a t i c f i n a l S t r i n g [ ] keywordList = {
31 " aaload " , " iand " , " a a s t o r e " , " i a s t o r e " , " aconst_null " , "icmp" ,
32 " aload " , " iconst_0 " , " aload_0 " , " iconst_1 " , " aload_1 " ,
33 " iconst_2 " , " aload_2 " , " iconst_3 " , " aload_3 " , " iconst_4 " ,
34 " anewarray " , " iconst_5 " , " areturn " , " iconst_m1 " , " a r r a y l e n g t h " ,
35 " i d i v " , " a s t o r e " , " if_acmpeq " , " astore_0 " , "if_acmpeq_w" ,
36 " astore_1 " , "if_acmpne" , " astore_2 " , "if_acmpne_w" , " astore_3 " ,
37 " if_scmpeq " , " athrow " , "if_scmpeq_w" , " baload " , " if_scmpge " ,
38 " b a s t o r e " , "if_scmpge_w" , " bipush " , " if_scmpgt " , " bspush " ,
39 "if_scmpgt_w" , " c h e c k c a s t " , " if_scmple " , "dup" , "if_scmple_w" ,
40 "dup_x" , " if_scmplt " , "dup2" , "if_scmplt_w" , " g e t f i e l d _ a " ,
41 " if_scmpne " , " g e t f i e l d _ a _ t h i s " , "if_scmpne_w" , " getfield_a_w " ,
430