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

More documents

Recommendations

Info

APÊNDICE A. CLASSES DA APLICAÇÃO DE CONTROLE DE USUÁRIO 121private void removerLocal(APDU apdu) {if (!pin.isValidated()) {ISOException.throwIt(SW_AUTENTICACAO_INVALIDA);}}byte[] buffer = apdu.getBuffer();byte tam_local = (byte) apdu.setIncomingAndReceive();if (tam_local != Usuario.TAMANHO_LOCAL) {ISOException.throwIt(ISO7816.SW_WRONG_LENGTH);}byte local = buffer[ISO7816.OFFSET_CDATA];u.removerLocal(local);private void adicionarCreditos(APDU apdu) {if (!pin.isValidated()) {ISOException.throwIt(SW_AUTENTICACAO_INVALIDA);}}byte[] buffer = apdu.getBuffer();byte tam_creditos = (byte) apdu.setIncomingAndReceive();if (tam_creditos != Usuario.TAMANHO_CREDITOS) {ISOException.throwIt(ISO7816.SW_WRONG_LENGTH);}short valor_creditos = Util.getShort(buffer, ISO7816.OFFSET_CDATA);u.adicionarCreditos(valor_creditos);private void removerCreditos(APDU apdu) {if (!pin.isValidated()) {ISOException.throwIt(SW_AUTENTICACAO_INVALIDA);}}byte[] buffer = apdu.getBuffer();byte tam_creditos = (byte) apdu.setIncomingAndReceive();if (tam_creditos != Usuario.TAMANHO_CREDITOS) {ISOException.throwIt(ISO7816.SW_WRONG_LENGTH);}short valor_creditos = Util.getShort(buffer, ISO7816.OFFSET_CDATA);u.removerCreditos(valor_creditos);}private void verificarCreditos(APDU apdu) {byte[] buffer = apdu.getBuffer();byte tam_esperado = (byte) apdu.setOutgoing();if (tam_esperado != Usuario.TAMANHO_CREDITOS) {ISOException.throwIt(ISO7816.SW_WRONG_LENGTH);}apdu.setOutgoingLength(Usuario.TAMANHO_CREDITOS);short indice_inicio = 0;Util.setShort(buffer, indice_inicio, u.getCreditos());apdu.sendBytes(indice_inicio, Usuario.TAMANHO_CREDITOS);}
Apêndice BClasses Usuário após ser Compiladacom <strong>JCML</strong>cB.1 Classe Usuario.java com Especificação <strong>JCML</strong>import 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 /*@ spec_public @*/ byte indiceLocal;private /*@ spec_public @*/ byte[] locais;private /*@ spec_public @*/ byte[] matricula;private /*@ spec_public @*/ byte tipo;private /*@ spec_public @*/ short creditos;/*@ invariant indiceLocal >= 0 && indiceLocal = 0 && creditos
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:
Page 65 and 66:
Page 67 and 68:
Page 69 and 70:
Page 71 and 72: CAPÍTULO 4. APLICABILIDADE DE JML
Page 73 and 74: 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 and 116: REFERÊNCIAS BIBLIOGRÁFICAS 114[35
Page 117 and 118: APÊNDICE A. CLASSES DA APLICAÇÃO
Page 119 and 120: APÊNDICE A. CLASSES DA APLICAÇÃO
Page 121: APÊNDICE A. CLASSES DA APLICAÇÃO
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

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?