JCML - Java Card Modeling Language: DefiniÃ§Ã£o e ... - Ifrn

More documents

Recommendations

Info

Apêndice AClasses da Aplicação de Controle deUsuárioA.1 Classe Usuario.javaimport javacard.framework.ISOException;public class Usuario {public static final byte QUANTIDADE_MAXIMA_LOCAIS = 127;public static final short VALOR_MAXIMO_CREDITOS = 32767;public static final byte TAMANHO_TIPO = 1;public static final byte TAMANHO_LOCAL = 1;public static final byte TAMANHO_CREDITOS = 2;public static final byte TAMANHO_MAXIMO_MATRICULA = 15;public static final byte TIPO_ESTUDANTE = 0;public static final byte TIPO_PROFESSOR = 1;public static final short SW_TAMANHO_MATRICULA_INVALIDO =(short) 0x63A0;public static final short SW_LOCAL_INEXISTENTE = (short) 0x63A1;public static final short SW_QUANTIDADE_MAXIMA_LOCAIS_EXCEDIDA =(short) 0x63A2;public static final short SW_VALOR_MAXIMO_CREDITO_EXCEDIDO =(short) 0x63A3;public static final short SW_CREDITOS_INSUFICIENTES = (short) 0x63A4;public static final short SW_TIPO_USUARIO_INVALIDO = (short) 0x63A5;private byte indiceLocal;private byte[] locais;private byte[] matricula;private byte tipo;private short creditos;public Usuario() {tipo = TIPO_ESTUDANTE;matricula = new byte[TAMANHO_MAXIMO_MATRICULA];locais = new byte[QUANTIDADE_MAXIMA_LOCAIS];115
APÊNDICE A. CLASSES DA APLICAÇÃO DE CONTROLE DE USUÁRIO 116}indiceLocal = 0;creditos = 0;public void setMatricula(byte[] m) throws ISOException {if (m.length > TAMANHO_MAXIMO_MATRICULA) {ISOException.throwIt(SW_TAMANHO_MATRICULA_INVALIDO);}matricula = m;}public byte[] getMatricula() {return matricula;}public void setTipo(byte t) throws ISOException {if (t != TIPO_ESTUDANTE &&t != TIPO_PROFESSOR) {ISOException.throwIt(SW_TIPO_USUARIO_INVALIDO);}tipo = t;}public byte getTipo() {return tipo;}public void adicionarLocal(byte codigo_local) throws ISOException {if (indiceLocal >= QUANTIDADE_MAXIMA_LOCAIS) {ISOException.throwIt(SW_QUANTIDADE_MAXIMA_LOCAIS_EXCEDIDA);}else if (!this.temAcessoLocal(codigo_local)) {locais[indiceLocal] = codigo_local;indiceLocal++;}}public void removerLocal(byte codigo_local) throws ISOException {for (byte b = 0; b < indiceLocal; b++) {if (locais[b] == codigo_local) {for (byte c = b; c < indiceLocal - 1; c++) {locais[c] = locais[c + 1];}indiceLocal--;return;}}ISOException.throwIt(SW_LOCAL_INEXISTENTE);}public boolean temAcessoLocal(byte codigo_local) {for (byte b = 0; b < indiceLocal; b++) {if (locais[b] == codigo_local) {return true;}}return false;}
Page 1 and 2:
Universidade Federal do Rio Grande
Page 3 and 4:
JCML - JAVA CARD MODELING LANGUAGE:
Page 5 and 6:
Dedico este trabalho ao Senhor da m
Page 7 and 8:
ResumoMétodos formais poderiam ser
Page 9 and 10:
Sumário1 Introdução 171.1 Motiva
Page 11 and 12:
5 JCML - Java Card Modeling Languag
Page 13 and 14:
Lista de Figuras2.1 Smart Card. . .
Page 15 and 16:
4.10 Método credit compilado com J
Page 17 and 18:
Lista de Tabelas3.1 Exemplo de Cont
Page 19 and 20:
CAPÍTULO 1. INTRODUÇÃO 18tecnolo
Page 21 and 22:
Capítulo 2Smart CardsUm smart card
Page 23 and 24:
CAPÍTULO 2. SMART CARDS 22• habi
Page 25 and 26:
CAPÍTULO 2. SMART CARDS 24Figura 2
Page 27 and 28:
CAPÍTULO 2. SMART CARDS 26Figura 2
Page 29 and 30:
CAPÍTULO 2. SMART CARDS 2801 impor
Page 31 and 32:
CAPÍTULO 2. SMART CARDS 302.2 Dese
Page 33 and 34:
CAPÍTULO 2. SMART CARDS 3201 publi
Page 35 and 36:
CAPÍTULO 2. SMART CARDS 3401 priva
Page 37 and 38:
CAPÍTULO 2. SMART CARDS 36APDU.
Page 39 and 40:
CAPÍTULO 3. JML - JAVA MODELING LA
Page 41 and 42:
Page 43 and 44:
Page 45 and 46:
Page 47 and 48:
Page 49 and 50:
Page 51 and 52:
Page 53 and 54:
Page 55 and 56:
Page 57 and 58:
Page 59 and 60:
Page 61 and 62:
CAPÍTULO 4. APLICABILIDADE DE JML
Page 63 and 64:
CAPÍTULO 4. APLICABILIDADE DE JML
Page 65 and 66: CAPÍTULO 4. APLICABILIDADE DE JML
Page 75 and 76: Capítulo 5JCML - Java Card Modelin
Page 77 and 78: CAPÍTULO 5. JCML - JAVA CARD MODEL
Page 105 and 106: Capítulo 6Trabalhos RelacionadosNe
Page 107 and 108: CAPÍTULO 6. TRABALHOS RELACIONADOS
Page 109 and 110: Capítulo 7Considerações FinaisA
Page 111 and 112: CAPÍTULO 7. CONSIDERAÇÕES FINAIS
Page 113 and 114: REFERÊNCIAS BIBLIOGRÁFICAS 112[10
Page 115: REFERÊNCIAS BIBLIOGRÁFICAS 114[35
Page 119 and 120: APÊNDICE A. CLASSES DA APLICAÇÃO
Page 121 and 122: APÊNDICE A. CLASSES DA APLICAÇÃO
Page 123 and 124: Apêndice BClasses Usuário após s
Page 125 and 126: APÊNDICE B. CLASSES USUÁRIO APÓS
Page 131 and 132: APÊNDICE C. GRAMÁTICA JCML 130C.3
Page 133 and 134: APÊNDICE C. GRAMÁTICA JCML 132gen
Page 135 and 136: APÊNDICE C. GRAMÁTICA JCML 134[ f
show all

JCML - Java Card Modeling Language: DefiniÃ§Ã£o e ... - Ifrn

Create successful ePaper yourself

Delete template?

Save as template?