Geiza Maria Hamazaki da Silva

Formação complementar

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• NEVES, HUGO FERNANDES ; CAIADO, RODRIGO GOYANNES GUSMÃO ; CAMPOS, JÚLIO GONÇALVES ; GONZALEZ, FERNANDO RODRIGUES ; PEREIRA, CARLOS AUGUSTO ; ARAGAO, RODRIGO RODRIGUES ; DA SILVA, GEIZA MARIA HAMAZAKI ; DE ALMEIDA, VITOR PINHEIRO ; CORSEUIL, EDUARDO THADEU LEITE ; DE ARMAS, ELVISMARY MOLINA . INSIDE: SEMANTIC INTEROPERABILITY IN ENGINEERING DATA INTEGRATION. Rio Oil and Gas Expo and Conference , v. 22, p. 351-352, 2022.

• SALLES, D. V. ; Silva, G. M. H. ; SOUZA, W. A. R. . Criptossistemas Elipticos: Principios de Projeto.. Pesquisa Naval (SDM) , v. 21, p. 82-88, 2008.

• Silva, G. M. H. ; HAEUSLER, Edward Hermann ; VELOSO, Paulo A. S. . Exploring Computational Contents of Intuitionist Proofs. Logic Journal of the IGPL (Online) , Oxford University Press, v. 13, n.1, p. 69-93, 2005.

• Silva, G. M. H. ; HAEUSLER, Edward Hermann ; VELOSO, Paulo A.s . Constructive Program Synthesis Using Intuitionist Logic and Natural Deduction. Frontiers in Artificial Intelligence and Applications , LAPTEC- 2001, 2001.

• DE ARMAS, ELVISMARY MOLINA ; DA SILVA, GEIZA MARIA HAMAZAKI ; CAMPOS, JÚLIO GONÇALVES ; DE ALMEIDA, VITOR PINHEIRO ; NEVES, HUGO ; CORSEUIL, EDUARDO THADEU LEITE ; GONZALEZ, FERNANDO RODRIGUES . A Web Service Oriented Integration Solution for Capital Facilities Information Handover. Lecture Notes in Computer Science. 1ed.: Springer Nature Singapore, 2023, v. , p. 387-396.

• MOLINA DE ARMAS, ELVISMARY ; Hamazaki da Silva, Geiza Maria ; TORRES IZQUIERDO, YENIER ; LEMOS, MELISSA ; DE LIMA BRITTO, PAULO VINÍCIUS ; CORSEUIL, EDUARDO THADEU ; SOUZA GARCIA, ROBINSON LUIZ . A Proposal of a Knowledge Graph for Digital Engineering Systems Integration for Operation and Maintenance Activities in Industrial Plants. In: SBSI '24: XX Brazilian Symposium on Information Systems, 2024, Juiz de Fora Brazil. Proceedings of the 20th Brazilian Symposium on Information Systems. New York: ACM, 2024. p. 1.

• ALMEIDA, VITOR ; CAMPOS, JÚLIO ; MOLINA DE ARMAS, ELVISMARY ; Hamazaki da Silva, Geiza ; NEVES, HUGO ; CORSEUIL, EDUARDO ; GONZALEZ, FERNANDO . INSIDE: Semantic Interoperability in Engineering Data Integration. In: 25th International Conference on Enterprise Information Systems, 2023, Prague. Proceedings of the 25th International Conference on Enterprise Information Systems, 2023. v. 1. p. 107.

• DE ARMAS, ELVISMARY MOLINA ; Silva, G.M.H. ; IZQUIERDO, Y. T. ; CAVALIERE, M. L. ; CORSEUIL, E. T. L. . Proceedings of the International Conference on WWW/Internet. In: International Conference on WWW/Internet, 2023, Madeira. Proceedings of the International Conference on WWW/Internet, 2023.

• CAMPOS, JÚLIO GONÇALVES ; DE ALMEIDA, VITOR PINHEIRO ; DE ARMAS, ELVISMARY MOLINA ; DA SILVA, GEIZA MARIA HAMAZAKI ; CORSEUIL, EDUARDO THADEU ; GONZALEZ, FERNANDO RODRIGUES . INSIDE: an Ontology-based Data Integration System Applied to the Oil and Gas Sector. In: SBSI '23: XIX Brazilian Symposium on Information Systems, 2023, Maceió Brazil. Proceedings of the XIX Brazilian Symposium on Information Systems, 2023. p. 94.

• DE ARMAS, ELVISMARY MOLINA ; DE ALMEIDA, VITOR PINHEIRO ; CAMPOS, JÚLIO GONÇALVES ; DA SILVA, GEIZA MARIA HAMAZAKI ; CAIADO, RODRIGO GOYANNES GUSMÃO ; NEVES, HUGO ; CORSEUIL, EDUARDO THADEU LEITE ; DE LIMA, DENYSON TOMAZ ; GONZALEZ, FERNANDO RODRIGUES . Hybrid Architecture to Achieve Semantic Interoperability for Engineering Oil and Gas Industry Process. In: iiWAS2021: The 23rd International Conference on Information Integration and Web Intelligence, 2021, Linz Austria. The 23rd International Conference on Information Integration and Web Intelligence, 2021. p. 176.

• CAMPOS, J. G. ; ALMEIDA, V. P. ; Silva, G.M.H. ; GUSMAO, R. C. G. ; CORSEUIL, E. T. L. ; GONZALEZ, F. R. ; PEREIRA, C. A. . Estado da arte sobre arquiteturas de sistemas para integração de dados. In: Rio Oil & Gas Expo and Conference 2020, 2020, Rio de Janeiro. Rio Oil & Gas Expo and Conference 2020: Trabalhos técnicos, 2020. v. 414.

• Silva, G.M.H. ; SAETTLER, A. M. ; LLANES, K. R. ; IVSON, P. ; NASCIMENTO, D. L. M. ; CORSEUIL, E. T. L. . AN ONTOLOGY-DRIVEN FRAMEWORK FOR DATA INTEGRATION AND DYNAMIC SERVICE COMPOSITION: CASE STUDY IN THE OIL & GAS INDUSTRY. In: 16th International Conference on WWW/INTERNET 2017, 2017, Algarve. 16th International Conference on WWW/INTERNET 2017, 2017.

• JARDIM, P. ; TABORANSKY, A. ; Silva, G.M.H. ; IVSON, P. . Uso de Tecnologia NoSQL para Extração de Informação sobre Unidades de Exploração e Produção de Petróleo. In: III Encontro de Inovação em SI, 2016, Florianópolis. Anais do III Encontro de Inovação em Sistemas de Informação, 2016. p. 32-35.

• Silva, G M H ; VIEIRA, B. L. ; LOPES, G. B. M. . Modelling Geometric Objects with ISO 15926: Three proposals with a comparative analysis.. In: 5º Seminário de Pesquisa em Ontologias no Brasil e 7º International Workshop on Metamodels, Ontologies and Semantic Technologies, 2012, Recife. Anais do 5º Seminário de Pesquisa em Ontologias no Brasil e 7º International Workshop on Metamodels, Ontologies, 2012.

• TEIXEIRA, F. A. A. ; Silva, G. M. H. ; Assakura, R. . Sistema para Armazenamento e Transmissão de Informação com Segurança no Ambiente Windows. In: IX ENACOMP, 2011, Catalão Goiás. IX ENACOMP, 2011.

• Silva, G. M. H. ; RADEMAKER, A. ; Vasconcelos, D.R. ; AMARAL, Fernando Naufel Do ; MARTINS, Carlos Bazílio ; COSTA, V. G. ; HAEUSLER, Edward Hermann . Dealing with the Formal Analysis of Information Security Policies through Ontologies: A Case Study.. In: Australasian Ontology Workshop, 2007, Surfers Paradise. CRPIT- Australian Computer Society. Melbourne, 2007. v. 85.

• AMARAL, Fernando Naufel Do ; MARTINS, Carlos Bazílio ; Silva, G. M. H. ; RADEMAKER, A. ; HAEUSLER, Edward Hermann . An Ontology-based Approach to the Formalization of Information Security Policies.. In: VORTE-EDOC, 2006, HONG-KONG. Proceedings of VORTE-EDOC. Los Alamito: IEEE Communications Society, 2006. p. 20-28.

• SALLES, D. V. ; Silva, G. M. H. . Metodo para Codificar e Decodificar Textos sobre uma Curva Eliptica. In: INFOMAR - Simpósio de Tecnologia da Informação da Marinha - CasNAV, 2004, Rio de Janeiro. INFOMAR - Simposio de Tecnologia da Informação da Marinha, 2004. v. 1. p. 1-8.

• SALLES, D. V. ; Silva, G. M. H. . O Problema do Logaritmo Discreto e o Algoritmo BSGS. In: INFOMAR - Simpósio de Tecnologia da Informação da Marinha - CasNAV, 2004, Rio de Janeiro. INFOMAR - Simpósio de Tecnologia da Informação da Marinha, 2004. v. 1. p. 1-8.

• Silva, G. M. H. ; HAEUSLER, Edward Hermann ; VELOSO, Paulo A.s . Sintese Construtiva de Programas usando Lógica Intuicionista. In: Workshop de Métodos Formais, 2001, João Pessoa, 2000.

• MARTINS, Carlos Bazílio ; Silva, G. M. H. ; OCHI, Luiz Satoru . Um Sistema Evolucionário Híbrido Baseado em Algoritmos Genéticos para a Solução de Problemas de Roteamento de uma Frota de Veículos. In: III Congresso Brasileiro de Redes Neurais, 1997, 1997.

• MARTINS, Carlos Bazílio ; Silva, G. M. H. ; OCHI, Luiz Satoru . O Problema de Roteamento de uma Frota de Veículos: Uma Abordagem Via Algoritmos Genéticos não Convencionais e Decomposição em Pétalas. In: XX Congresso Nacional de Matemática Aplicada e Computacional, 1997, Florianópolis, 1997.

• ARRUDA, Y. F. ; GUTIERREZ, M. R. G. ; Silva, G.M.H. . Técnicas de raciocínio baseado em casos e sua aplicação na construção de sistemas especialistas. In: 18 Jornada de Iniciação Científica, 2019, Rio de Janeiro. 18 Jornada de Iniciação Científica, 2019. p. 130.

• Silva, G. M. H. ; SAETTLER, A. M. ; RUBACK, L. ; VIEIRA, B. L. ; CORSEUIL, E. T. L. . Modelling objects in OWL: a First Order Logic based tool. In: International Conference WWW/INTERNET, 2014, Porto. Proceedings of the 13th International Conference WWW/INTERNET, 2014.

• Silva, G. M. H. ; VIEIRA, B. L. . Modelling Geometric Objects with ISO15926. In: Workshop on Logics and Ontologies for Natural Language, 2014, Rio de Janeiro. Annals of the 1st Workshop on Logics and Ontologies for Natural Language, 2014.

• NAVARRO, A. B. ; BAPTISTA, V. F. ; GONCALVES,H. H. A. B. Q. ; MARQUES, P. V. A. ; ROCHA, I. G. ; Silva, G. M. H. ; BIANCO, C. M. B. T. . POLÍTICAS PÚBLICAS NO ÂMBITO DOS RESÍDUOS: UM LONGO CAMINHO CURTO OU UM CURTO CAMINHO LONGO DE EDUCAÇÃO AMBIENTAL. In: X Congresso Nacional de Meio Ambiente, 2013, Poços de Caldas. X Congresso Nacional de Meio Ambiente, 2013.

• TEIXEIRA, F. A. A. ; Ramos, R.S. ; Silva, G.M.H. . Armazenamento e comunicação de informações com segurança na plataforma Windows. In: 10ª Jornada de Iniciação Científica - Semana de Integração Acadêmica - UNIRIO, 2012, Rio de Janeiro. 10ª Jornada de Iniciação Científica, 2012.

• Assakura, R. ; Alves, D.C.S ; Silva, G.M.H. . Armazenamento e comunicação de informações com segurança para o Sistema Operacional Android. In: 10ª Jornada de Iniciação Científica - Semana de Integração Acadêmica - UNIRIO, 2012, Rio de Janeiro. 10ª Jornada de Iniciação Científica, 2012.

• TETEO, L. A. ; Silva, G.M.H. . Soluções e Desafios Relacionados a Análise de Desempenho de Algortítmos Criptograficos Aplicados a Tecnologia VOIP. In: 14a. Jornada de Iniciação Científica - Unirio, 2015, Rio de Janeiro. 14a. Jornada de Iniciação Científica - Unirio - Resumos, 2015.

• DAIR, P. C. ; Silva, G.M.H. . ESTUDO SOBRE O ARMAZENAMENTO DE INFORMAÇÕES COM SEGURANÇA NA NUVEM UTILIZANDO A PLATAFORMA WINDOWS. In: 14a. Jornada de Iniciação Científica - Unirio, 2015, Rio de Janeiro. 14a. Jornada de Iniciação Científica - Unirio - Resumos, 2015.

• ALBUQUERQUE, G. R. ; MATTOS, G. C. ; MARTINEZ, K. M. ; Silva, G. M. H. ; GONCALVES, E. C. ; TEODORO, A. J. . Jogos Cognitivos Eletrônicos para a Aprendizagem de Conceitos Nutricionais e Coleta de Dados. In: V Encontro Anual de Tecnologia da Informação, 2014, Frederico Westphalen. Anais do Encontro Anual de Tecnologia da Informação, 2014.

• Ramos, R.S. ; SANTOS, D. A. ; Silva, G.M.H. . Proposta Inicial de Implementação para Transmissão de Voz com segurança na Plataforma Windows. In: 13 Jornada de Iniciação Científica (Unirio), 2014, Rio de Janeiro. Livro de Resumos do 13 Jornada de Iniciação Científica, 2014.

• SOARES, C. A. ; Silva, G.M.H. . Proposta de Implementação de um Sistema para Armazenamento e Comunicação de Informações com Segurança para o Sistema Operacional Android. In: 13 Jornada de Iniciação Científica (Unirio), 2014, Rio de Janeiro. Livro de Resumos do 13 Jornada de Iniciação Científica, 2014.

• PASSOS, T. M. ; Silva, G.M.H. . Sistema de Armazenamento e Comunicação de Mensagens com Segurança no Ambiente Windows Phone. In: 13 Jornada de Iniciação Científica (Unirio), 2014, Rio de Janeiro. Livro de Resumos do 13 Jornada de Iniciação Científica, 2014.

• TETEO, L. A. ; Silva, G.M.H. . Estudo sobre Análise de Desempenho de algoritmos criptográficos aplicados a tecnologia VOIP. In: 13 Jornada de Iniciação Científica (Unirio), 2014, Rio de Janeiro. Livro de Resumos do 13 Jornada de Iniciação Científica, 2014.

• Ramos, R.S. ; SANTOS, D. A. ; Silva, G. M. H. . ESTUDO SOBRE A TRANSMISSÃO DE VOZ COM SEGURANÇA NA PLATAFORMA WINDOWS. In: 12ª Jornada de Iniciação Científica - UNIRIO, 2013, Rio de Janeiro. 12ª Jornada de Iniciação Científica, 2013.

• SOARES, C. A. ; LEAL, M. G. M. ; Silva, G. M. H. . ARMAZENAMENTO E COMUNICAÇÃO DE INFORMAÇÕES COM SEGURANÇA PARA O SISTEMA OPERACIONAL ANDROID. In: 12ª Jornada de Iniciação Científica - UNIRIO, 2013, Rio de Janeiro. 12ª Jornada de Iniciação Científica, 2013.

• TEIXEIRA, F. A. A. ; Silva, G. M. H. . SISTEMA PARA ARMAZENAMENTO E COMUNICAÇÃO DE MENSAGENS COM SEGURANÇA NO AMBIENTE WINDOWS PC. In: 12ª Jornada de Iniciação Científica - UNIRIO, 2013, Rio de Janeiro. 12ª Jornada de Iniciação Científica, 2013.

• GONCALVES,H. H. A. B. Q. ; Silva, G. M. H. ; MARQUES, P. V. A. . The Relevance of Development a Policy of Environmental Sustainability at the University. In: ISEE 2012, 2012, Rio de Janeiro. ISEE 2012, 2012.

• GONCALVES,H. H. A. B. Q. ; Silva, G. M. H. ; MARQUES, P. V. A. . Coleta Seletiva Solidária e eu com isso?. In: VII Fórum de Educação Ambiental, 2012, Salvador. VII Fórum de Educação Ambiental, 2011.

• Frade, E.A. ; Silva, G. M. H. . Processamento e Reprodução de Imagem com Arduíno. In: IX ENACOMP, 2011, Catalão- Goias. IX ENACOMP, 2011.

• Silva, G. M. H. ; LOPES, G. B. M. . Abordagem de Modelagem na Norma ISO15926. In: Conferência Ibero-Americana IADIS- WWW/Internet 2011, 2011, Rio de Janeiro. Conferência Ibero-Americana IADIS- WWW/Internet 2011, 2011.

• Silva, G. M. H. ; HAEUSLER, Edward Hermann . On the Syntactical Characterization of the relative Intuitionistic Validity. In: XIVEBL - Encontro Brasileiro de Lógica, 2006, Itatiaia, 2006.

• Silva, G. M. H. . Exploring Computational Contents of Intuitionistic Proof. A First- Order Approach. In: EBL, 2003, Campinas, 2003.

• MIRANDA, J. M. ; Silva, G. M. H. ; MATTOS, G. C. ; OLIVEIRA, R. S. . LOA (Linked Open Archives) - Uma experiência de aplicação da ontologia Records in Contexts (RiC-O) em acervos arquivísticos.. 2020. (Apresentação de Trabalho/Congresso).

• Silva, G. M. H. ; LOPES, G. B. M. . Abordagem de Modelagem na Norma ISO15926. 2011. (Apresentação de Trabalho/Conferência ou palestra).

• ALMEIDA, V. P. ; Silva, G. M. H. ; SOSSAI JUNIOR, J. ; HAEUSLER, Edward Hermann . Aplicação de ontologias na extração de informações de modelos hidrodinâmicos: sistema baseado em conhecimento. 2008. (Apresentação de Trabalho/Seminário).

Outras produções

Projetos de pesquisa

• 2020 - Atual

  Uma Proposta para Interoperabilidade de Dados na Nuvem, Descrição: Projeto selecionado no Programa de Desenvolvimento de Projetos Aplicados ? PDPA da Prefeitura Municipal de Niterói, vinculado à Secretaria Municipal de Planejamento, Orçamento e Modernização da Gestão (SEPLAG) e com parceria junto à Universidade Federal Fluminense e à Fundação Euclides da Cunha, tendo vigência de 24/12/2020 até 23/12/2023, pela coordenação de Leandro Santiago de Araújo, professor da Universidade Federal Fluminense. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Bruno Lopes Vieira - Integrante / Leandro Santiago de Araújo - Coordenador / Eugene Francis Vinod Rebello - Integrante / Cristina Boeres - Integrante.

• 2013 - 2023

  Estudo sobre a norma ISO15926, Descrição: A norma ISO 15926 aborda o armazenamento de informações e a construção da base de conhecimento para a integração dos dados do ciclo de vida de plantas de processo, incluindo instalações de produção de petróleo e gás. Estas bases de conhecimento são modeladas utilizando estruturas de um subconjunto da Lógica de Primeira Ordem e implementadas como ontologias para informações, de acordo com o W3C Web Ontology Language. Devido à estrutura e ao grande número de termos definidos na ontologia que descreve a norma ISO 15926, a complexidade para a modelagem de novos conceitos e a sua utilização pode ser considerada alta. Este projeto visa o estudo e contribuição, com a comunidade internacional que desenvolve esta norma, através da elaboração de material didático, verificação dos modelos desenvolvidos e implementação de ferramentas que facilitem a divulgação e utilização desta norma.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Geiza Maria Hamazaki da Silva - Coordenador / Eduardo Thadeu L. Corseuil - Integrante.

• 2011 - 2011

  Arte Digital - Reprodução Autônoma de Imagens, Descrição: Este projeto propõe um sistema onde dado uma imagem são aplicados filtros de forma a extrair a silhueta da imagem que é reproduzida através de um ?braço robótico?.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Geiza Maria Hamazaki da Silva - Coordenador., Financiador(es): Universidade Federal do Estado do Rio de Janeiro - Bolsa.

• 2010 - 2019

  Solução para Armazenamento e Comunicação de Informações com Segurança, Descrição: Financiado pela FAPERJ, este projeto objetiva a criação de ferramentas, confiáveis e flexíveis, para transmissão de informações sigilosas através de um ambiente de suporte "automático" para o armazenamento e transmissão de documentos criptografados para um conjunto significativo de dispositivos móveis: o smartphone e o pocket PC A base de testes será em um dispositivo que terá como sistema operacional o Windows Mobile, utilizando algoritmos criptográficos públicos simétricos e assimétricos. Para permitir a interoperabilidade da aplicação, o armazenamento dos documentos será realizado no formato XML. A aplicação terá uma versão para computadores, permitindo assim a sincronização com smartphone e pocket PC. Após essa fase, a aplicação será estendida para outros sistemas operacionais. Em paralelo a todo desenvolvimento serão utilizadas técnicas vindas da área de métodos formais a fim de verificar propriedades da aplicação e dos protocolos de comunicação móvel.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) . , Integrantes: Geiza Maria Hamazaki da Silva - Coordenador / Edward Hermann Haeusler - Integrante / Fabio Augusto Alves Teixeira - Integrante / Rodrigo de Souza Ramos - Integrante / Davi Correia da Silva Alves - Integrante., Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro., Número de produções C, T & A: 2

• 2010 - 2015

  Projeto de Pesquisa Redes de cooperação colaborativas na implantação da coleta seletiva solidária em instituições de ensino superior, Descrição: Descreve e analisa a implantação do Decreto 5940/06 em instituições Federais de ensino Superior identificando os limites e as possibilidades do processo de operacionalização do Marco Legal.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Heloisa Helena Albuquerque Borges Quaresma Gonçalves - Coordenador / Consuelo Salvaterra Magalhães - Integrante / Ubirajara Aluízio de Oliveira Mattos - Integrante / Andrea Soares Bonifacio - Integrante / Andre Campos da Rocha - Integrante / Hedy Vasconcelos - Integrante / Vinicius Ferreira Baptista - Integrante.

Projetos de desenvolvimento

• 2011 - Atual

  Ambiente de Aprendizado Online- AMAO, Descrição: Este projeto objetiva o desenvolvimento de um sistema web que permita aos professores aplicarem avaliações de programação aos seus alunos utilizando um sistema no qual, a partir de uma base de dados com um número considerado de questões classificadas pelo conteúdo e nível de dificuldade, estas serão sorteadas na elaboração semiautomática das provas. Assim, cada avaliação é única o que evita que alunos copiem as resoluções dos outros. Além disso, proporciona um ambiente limpo e simples para o professor obter os resultados dos alunos. E, aos alunos, se torna um facilitador na hora de fazer as questões, tanto de programação quanto discursivas ou objetivas.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Geiza Maria Hamazaki da Silva - Coordenador / Felipe Arruda Pontes - Integrante / Zanoni Miranda - Integrante.

• 2008 - 2009

  Desenvolvimento de um sistema criptográfico assimétrico e simétrico baseado em curvas elípticas, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Disnei Vieira Salles - Coordenador / Wiliam Augusto Rodrigues de Souza - Integrante / Luiz Carlos de Castro Guedes - Integrante / Waldyr Benits - Integrante.

• 2006 - 2008

  Anubis - TECMF, Descrição: Técnicas de análise formal de software são mecanismos rigorosos, embasados matematicamente, que permitem aumentar a confiança de que um artefato de software realmente faz o que se espera que ele faça. Estas técnicas incluem simulação (ou teste), verificação de modelos (model checking) e prova de teoremas. Com base em argumentos epistemológicos e fazendo um paralelo com a teoria da ciência no que diz respeito à confirmação de teoria científicas, o uso de Análise Formal em uma abordagem baseada em linguagem para o desenvolvimento de sistemas de informação oferece uma via segura para o desenvolvimento de sistemas de informação. O principal objetivo deste projeto é o desenvolvimento de uma abordagem baseada em linguagem para o desenvolvimento de sistemas multi-agentes em segurança da informação. Esta abordagem utilizará fortemente a experiência a ser adquirida dentro do escopo dos estudos de caso oferecidos pela Módulo, incorporando ao seu desenvolvimento os aspectos já validados durante a sua concepção. A abordagem é baseada na definição de uma metalinguagem para especificação de sistemas multi-agentes, baseados no modelo BDI, com adição de pressupostos de segurança da informação, estabelecidos via uma combinação de lógicas doxásticas, de ação, temporais e de autenticação. A semântica desta metalinguagem guia o processo de derivação, não só de especificações mais refinadas, mas também de processos de análise formal. O ambiente estabelecido a partir desta metalinguagem fornece meios de especificar, desenvolver e analisar formalmente o sistema, incluindo aí seus requisitos de segurança e sua funcionalidade adicional.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (4) . , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Carlos Bazílio Martins - Integrante / Edward Hermann Haeusler - Coordenador / Fernando Naufel do Amaral - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Cooperação., Número de produções C, T & A: 2

• 2004 - 2006

  Desenvolvimento do Modelo de Gerência de Chaves da Cifra SEANET, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Disnei Vieira Salles - Coordenador / Rinaldo Marques de Abreu - Integrante.

• 2003 - 2005

  Fundamentos Matemáticos para a Crioptografia do Link Yb, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Disnei Vieira Salles - Coordenador / Rinaldo Marques de Abreu - Integrante.

• 2011 - Atual

  Ambiente de Aprendizado Online- AMAO, Descrição: Este projeto objetiva o desenvolvimento de um sistema web que permita aos professores aplicarem avaliações de programação aos seus alunos utilizando um sistema no qual, a partir de uma base de dados com um número considerado de questões classificadas pelo conteúdo e nível de dificuldade, estas serão sorteadas na elaboração semiautomática das provas. Assim, cada avaliação é única ? o que evita que alunos copiem as resoluções dos outros. Além disso, proporciona um ambiente limpo e simples para o professor obter os resultados dos alunos. E, aos alunos, se torna um facilitador na hora de fazer as questões, tanto de programação quanto discursivas ou objetivas.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Geiza Maria Hamazaki da Silva - Coordenador / Felipe Arruda Pontes - Integrante / Zanoni Miranda - Integrante.

• 2008 - 2009

  Desenvolvimento de um sistema criptográfico assimétrico e simétrico baseado em curvas elípticas, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Disnei Vieira Salles - Coordenador / Wiliam Augusto Rodrigues de Souza - Integrante / Luiz Carlos de Castro Guedes - Integrante / Waldyr Benits - Integrante.

• 2006 - 2008

  Anubis - TECMF, Descrição: Técnicas de análise formal de software são mecanismos rigorosos, embasados matematicamente, que permitem aumentar a confiança de que um artefato de software realmente faz o que se espera que ele faça. Estas técnicas incluem simulação (ou teste), verificação de modelos (model checking) e prova de teoremas. Com base em argumentos epistemológicos e fazendo um paralelo com a teoria da ciência no que diz respeito à confirmação de teoria científicas, o uso de Análise Formal em uma abordagem baseada em linguagem para o desenvolvimento de sistemas de informação oferece uma via segura para o desenvolvimento de sistemas de informação. O principal objetivo deste projeto é o desenvolvimento de uma abordagem baseada em linguagem para o desenvolvimento de sistemas multi-agentes em segurança da informação. Esta abordagem utilizará fortemente a experiência a ser adquirida dentro do escopo dos estudos de caso oferecidos pela Módulo, incorporando ao seu desenvolvimento os aspectos já validados durante a sua concepção. A abordagem é baseada na definição de uma metalinguagem para especificação de sistemas multi-agentes, baseados no modelo BDI, com adição de pressupostos de segurança da informação, estabelecidos via uma combinação de lógicas doxásticas, de ação, temporais e de autenticação. A semântica desta metalinguagem guia o processo de derivação, não só de especificações mais refinadas, mas também de processos de análise formal. O ambiente estabelecido a partir desta metalinguagem fornece meios de especificar, desenvolver e analisar formalmente o sistema, incluindo aí seus requisitos de segurança e sua funcionalidade adicional.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (4) . , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Carlos Bazílio Martins - Integrante / Edward Hermann Haeusler - Coordenador / Fernando Naufel do Amaral - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Cooperação., Número de produções C, T & A: 2

• 2004 - 2006

  Desenvolvimento do Modelo de Gerência de Chaves da Cifra SEANET, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Disnei Vieira Salles - Coordenador / Rinaldo Marques de Abreu - Integrante.

• 2003 - 2005

  Fundamentos Matemáticos para a Crioptografia do Link Yb, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Disnei Vieira Salles - Coordenador / Rinaldo Marques de Abreu - Integrante.

• 2011 - 2014

  Ambiente de Aprendizado Online- AMAO, Descrição: Este projeto objetiva o desenvolvimento de um sistema web que permita aos professores aplicarem avaliações de programação aos seus alunos utilizando um sistema no qual, a partir de uma base de dados com um número considerado de questões classificadas pelo conteúdo e nível de dificuldade, estas serão sorteadas na elaboração semiautomática das provas. Assim, cada avaliação é única ? o que evita que alunos copiem as resoluções dos outros. Além disso, proporciona um ambiente limpo e simples para o professor obter os resultados dos alunos. E, aos alunos, se torna um facilitador na hora de fazer as questões, tanto de programação quanto discursivas ou objetivas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Geiza Maria Hamazaki da Silva - Coordenador / Felipe Arruda Pontes - Integrante / Zanoni Miranda - Integrante.

• 2008 - 2009

  Desenvolvimento de um sistema criptográfico assimétrico e simétrico baseado em curvas elípticas, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Disnei Vieira Salles - Coordenador / Wiliam Augusto Rodrigues de Souza - Integrante / Luiz Carlos de Castro Guedes - Integrante / Waldyr Benits - Integrante.

• 2006 - 2008

  Anubis - TECMF, Descrição: Técnicas de análise formal de software são mecanismos rigorosos, embasados matematicamente, que permitem aumentar a confiança de que um artefato de software realmente faz o que se espera que ele faça. Estas técnicas incluem simulação (ou teste), verificação de modelos (model checking) e prova de teoremas. Com base em argumentos epistemológicos e fazendo um paralelo com a teoria da ciência no que diz respeito à confirmação de teoria científicas, o uso de Análise Formal em uma abordagem baseada em linguagem para o desenvolvimento de sistemas de informação oferece uma via segura para o desenvolvimento de sistemas de informação. O principal objetivo deste projeto é o desenvolvimento de uma abordagem baseada em linguagem para o desenvolvimento de sistemas multi-agentes em segurança da informação. Esta abordagem utilizará fortemente a experiência a ser adquirida dentro do escopo dos estudos de caso oferecidos pela Módulo, incorporando ao seu desenvolvimento os aspectos já validados durante a sua concepção. A abordagem é baseada na definição de uma metalinguagem para especificação de sistemas multi-agentes, baseados no modelo BDI, com adição de pressupostos de segurança da informação, estabelecidos via uma combinação de lógicas doxásticas, de ação, temporais e de autenticação. A semântica desta metalinguagem guia o processo de derivação, não só de especificações mais refinadas, mas também de processos de análise formal. O ambiente estabelecido a partir desta metalinguagem fornece meios de especificar, desenvolver e analisar formalmente o sistema, incluindo aí seus requisitos de segurança e sua funcionalidade adicional.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (4) . , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Carlos Bazílio Martins - Integrante / Edward Hermann Haeusler - Coordenador / Fernando Naufel do Amaral - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Cooperação., Número de produções C, T & A: 2

• 2004 - 2006

  Desenvolvimento do Modelo de Gerência de Chaves da Cifra SEANET, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Disnei Vieira Salles - Coordenador / Rinaldo Marques de Abreu - Integrante.

• 2003 - 2005

  Fundamentos Matemáticos para a Crioptografia do Link Yb, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Disnei Vieira Salles - Coordenador / Rinaldo Marques de Abreu - Integrante.

• 2011 - 2014

  Ambiente de Aprendizado Online- AMAO, Descrição: Este projeto objetiva o desenvolvimento de um sistema web que permita aos professores aplicarem avaliações de programação aos seus alunos utilizando um sistema no qual, a partir de uma base de dados com um número considerado de questões classificadas pelo conteúdo e nível de dificuldade, estas serão sorteadas na elaboração semiautomática das provas. Assim, cada avaliação é única ? o que evita que alunos copiem as resoluções dos outros. Além disso, proporciona um ambiente limpo e simples para o professor obter os resultados dos alunos. E, aos alunos, se torna um facilitador na hora de fazer as questões, tanto de programação quanto discursivas ou objetivas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Geiza Maria Hamazaki da Silva - Coordenador / Felipe Arruda Pontes - Integrante / Zanoni Miranda - Integrante.

• 2008 - 2009

  Desenvolvimento de um sistema criptográfico assimétrico e simétrico baseado em curvas elípticas, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Disnei Vieira Salles - Coordenador / Wiliam Augusto Rodrigues de Souza - Integrante / Luiz Carlos de Castro Guedes - Integrante / Waldyr Benits - Integrante.

• 2006 - 2008

  Anubis - TECMF, Descrição: Técnicas de análise formal de software são mecanismos rigorosos, embasados matematicamente, que permitem aumentar a confiança de que um artefato de software realmente faz o que se espera que ele faça. Estas técnicas incluem simulação (ou teste), verificação de modelos (model checking) e prova de teoremas. Com base em argumentos epistemológicos e fazendo um paralelo com a teoria da ciência no que diz respeito à confirmação de teoria científicas, o uso de Análise Formal em uma abordagem baseada em linguagem para o desenvolvimento de sistemas de informação oferece uma via segura para o desenvolvimento de sistemas de informação. O principal objetivo deste projeto é o desenvolvimento de uma abordagem baseada em linguagem para o desenvolvimento de sistemas multi-agentes em segurança da informação. Esta abordagem utilizará fortemente a experiência a ser adquirida dentro do escopo dos estudos de caso oferecidos pela Módulo, incorporando ao seu desenvolvimento os aspectos já validados durante a sua concepção. A abordagem é baseada na definição de uma metalinguagem para especificação de sistemas multi-agentes, baseados no modelo BDI, com adição de pressupostos de segurança da informação, estabelecidos via uma combinação de lógicas doxásticas, de ação, temporais e de autenticação. A semântica desta metalinguagem guia o processo de derivação, não só de especificações mais refinadas, mas também de processos de análise formal. O ambiente estabelecido a partir desta metalinguagem fornece meios de especificar, desenvolver e analisar formalmente o sistema, incluindo aí seus requisitos de segurança e sua funcionalidade adicional.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (4) . , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Carlos Bazílio Martins - Integrante / Edward Hermann Haeusler - Coordenador / Fernando Naufel do Amaral - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Cooperação., Número de produções C, T & A: 2

• 2004 - 2006

  Desenvolvimento do Modelo de Gerência de Chaves da Cifra SEANET, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Disnei Vieira Salles - Coordenador / Rinaldo Marques de Abreu - Integrante.

• 2003 - 2005

  Fundamentos Matemáticos para a Crioptografia do Link Yb, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Disnei Vieira Salles - Coordenador / Rinaldo Marques de Abreu - Integrante.

• 2011 - 2014

  Ambiente de Aprendizado Online- AMAO, Descrição: Este projeto objetiva o desenvolvimento de um sistema web que permita aos professores aplicarem avaliações de programação aos seus alunos utilizando um sistema no qual, a partir de uma base de dados com um número considerado de questões classificadas pelo conteúdo e nível de dificuldade, estas serão sorteadas na elaboração semiautomática das provas. Assim, cada avaliação é única ? o que evita que alunos copiem as resoluções dos outros. Além disso, proporciona um ambiente limpo e simples para o professor obter os resultados dos alunos. E, aos alunos, se torna um facilitador na hora de fazer as questões, tanto de programação quanto discursivas ou objetivas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Geiza Maria Hamazaki da Silva - Coordenador / Felipe Arruda Pontes - Integrante / Zanoni Miranda - Integrante.

• 2008 - 2009

  Desenvolvimento de um sistema criptográfico assimétrico e simétrico baseado em curvas elípticas, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Disnei Vieira Salles - Coordenador / Wiliam Augusto Rodrigues de Souza - Integrante / Luiz Carlos de Castro Guedes - Integrante / Waldyr Benits - Integrante.

• 2006 - 2008

  Anubis - TECMF, Descrição: Técnicas de análise formal de software são mecanismos rigorosos, embasados matematicamente, que permitem aumentar a confiança de que um artefato de software realmente faz o que se espera que ele faça. Estas técnicas incluem simulação (ou teste), verificação de modelos (model checking) e prova de teoremas. Com base em argumentos epistemológicos e fazendo um paralelo com a teoria da ciência no que diz respeito à confirmação de teoria científicas, o uso de Análise Formal em uma abordagem baseada em linguagem para o desenvolvimento de sistemas de informação oferece uma via segura para o desenvolvimento de sistemas de informação. O principal objetivo deste projeto é o desenvolvimento de uma abordagem baseada em linguagem para o desenvolvimento de sistemas multi-agentes em segurança da informação. Esta abordagem utilizará fortemente a experiência a ser adquirida dentro do escopo dos estudos de caso oferecidos pela Módulo, incorporando ao seu desenvolvimento os aspectos já validados durante a sua concepção. A abordagem é baseada na definição de uma metalinguagem para especificação de sistemas multi-agentes, baseados no modelo BDI, com adição de pressupostos de segurança da informação, estabelecidos via uma combinação de lógicas doxásticas, de ação, temporais e de autenticação. A semântica desta metalinguagem guia o processo de derivação, não só de especificações mais refinadas, mas também de processos de análise formal. O ambiente estabelecido a partir desta metalinguagem fornece meios de especificar, desenvolver e analisar formalmente o sistema, incluindo aí seus requisitos de segurança e sua funcionalidade adicional.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (4) . , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Carlos Bazílio Martins - Integrante / Edward Hermann Haeusler - Coordenador / Fernando Naufel do Amaral - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Cooperação., Número de produções C, T & A: 2

• 2004 - 2006

  Desenvolvimento do Modelo de Gerência de Chaves da Cifra SEANET, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Disnei Vieira Salles - Coordenador / Rinaldo Marques de Abreu - Integrante.

• 2003 - 2005

  Fundamentos Matemáticos para a Crioptografia do Link Yb, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Disnei Vieira Salles - Coordenador / Rinaldo Marques de Abreu - Integrante.

• 2011 - 2014

  Ambiente de Aprendizado Online- AMAO, Descrição: Este projeto objetiva o desenvolvimento de um sistema web que permita aos professores aplicarem avaliações de programação aos seus alunos utilizando um sistema no qual, a partir de uma base de dados com um número considerado de questões classificadas pelo conteúdo e nível de dificuldade, estas serão sorteadas na elaboração semiautomática das provas. Assim, cada avaliação é única ? o que evita que alunos copiem as resoluções dos outros. Além disso, proporciona um ambiente limpo e simples para o professor obter os resultados dos alunos. E, aos alunos, se torna um facilitador na hora de fazer as questões, tanto de programação quanto discursivas ou objetivas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Geiza Maria Hamazaki da Silva - Coordenador / Felipe Arruda Pontes - Integrante / Zanoni Miranda - Integrante.

• 2008 - 2009

  Desenvolvimento de um sistema criptográfico assimétrico e simétrico baseado em curvas elípticas, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Disnei Vieira Salles - Coordenador / Wiliam Augusto Rodrigues de Souza - Integrante / Luiz Carlos de Castro Guedes - Integrante / Waldyr Benits - Integrante.

• 2006 - 2008

  Anubis - TECMF, Descrição: Técnicas de análise formal de software são mecanismos rigorosos, embasados matematicamente, que permitem aumentar a confiança de que um artefato de software realmente faz o que se espera que ele faça. Estas técnicas incluem simulação (ou teste), verificação de modelos (model checking) e prova de teoremas. Com base em argumentos epistemológicos e fazendo um paralelo com a teoria da ciência no que diz respeito à confirmação de teoria científicas, o uso de Análise Formal em uma abordagem baseada em linguagem para o desenvolvimento de sistemas de informação oferece uma via segura para o desenvolvimento de sistemas de informação. O principal objetivo deste projeto é o desenvolvimento de uma abordagem baseada em linguagem para o desenvolvimento de sistemas multi-agentes em segurança da informação. Esta abordagem utilizará fortemente a experiência a ser adquirida dentro do escopo dos estudos de caso oferecidos pela Módulo, incorporando ao seu desenvolvimento os aspectos já validados durante a sua concepção. A abordagem é baseada na definição de uma metalinguagem para especificação de sistemas multi-agentes, baseados no modelo BDI, com adição de pressupostos de segurança da informação, estabelecidos via uma combinação de lógicas doxásticas, de ação, temporais e de autenticação. A semântica desta metalinguagem guia o processo de derivação, não só de especificações mais refinadas, mas também de processos de análise formal. O ambiente estabelecido a partir desta metalinguagem fornece meios de especificar, desenvolver e analisar formalmente o sistema, incluindo aí seus requisitos de segurança e sua funcionalidade adicional.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (4) . , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Carlos Bazílio Martins - Integrante / Edward Hermann Haeusler - Coordenador / Fernando Naufel do Amaral - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Cooperação., Número de produções C, T & A: 2

• 2004 - 2006

  Desenvolvimento do Modelo de Gerência de Chaves da Cifra SEANET, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Disnei Vieira Salles - Coordenador / Rinaldo Marques de Abreu - Integrante.

• 2003 - 2005

  Fundamentos Matemáticos para a Crioptografia do Link Yb, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Disnei Vieira Salles - Coordenador / Rinaldo Marques de Abreu - Integrante.

• 2011 - 2014

  Ambiente de Aprendizado Online- AMAO, Descrição: Este projeto objetiva o desenvolvimento de um sistema web que permita aos professores aplicarem avaliações de programação aos seus alunos utilizando um sistema no qual, a partir de uma base de dados com um número considerado de questões classificadas pelo conteúdo e nível de dificuldade, estas serão sorteadas na elaboração semiautomática das provas. Assim, cada avaliação é única ? o que evita que alunos copiem as resoluções dos outros. Além disso, proporciona um ambiente limpo e simples para o professor obter os resultados dos alunos. E, aos alunos, se torna um facilitador na hora de fazer as questões, tanto de programação quanto discursivas ou objetivas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Geiza Maria Hamazaki da Silva - Coordenador / Felipe Arruda Pontes - Integrante / Zanoni Miranda - Integrante.

• 2008 - 2009

  Desenvolvimento de um sistema criptográfico assimétrico e simétrico baseado em curvas elípticas, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Disnei Vieira Salles - Coordenador / Wiliam Augusto Rodrigues de Souza - Integrante / Luiz Carlos de Castro Guedes - Integrante / Waldyr Benits - Integrante.

• 2006 - 2008

  Anubis - TECMF, Descrição: Técnicas de análise formal de software são mecanismos rigorosos, embasados matematicamente, que permitem aumentar a confiança de que um artefato de software realmente faz o que se espera que ele faça. Estas técnicas incluem simulação (ou teste), verificação de modelos (model checking) e prova de teoremas. Com base em argumentos epistemológicos e fazendo um paralelo com a teoria da ciência no que diz respeito à confirmação de teoria científicas, o uso de Análise Formal em uma abordagem baseada em linguagem para o desenvolvimento de sistemas de informação oferece uma via segura para o desenvolvimento de sistemas de informação. O principal objetivo deste projeto é o desenvolvimento de uma abordagem baseada em linguagem para o desenvolvimento de sistemas multi-agentes em segurança da informação. Esta abordagem utilizará fortemente a experiência a ser adquirida dentro do escopo dos estudos de caso oferecidos pela Módulo, incorporando ao seu desenvolvimento os aspectos já validados durante a sua concepção. A abordagem é baseada na definição de uma metalinguagem para especificação de sistemas multi-agentes, baseados no modelo BDI, com adição de pressupostos de segurança da informação, estabelecidos via uma combinação de lógicas doxásticas, de ação, temporais e de autenticação. A semântica desta metalinguagem guia o processo de derivação, não só de especificações mais refinadas, mas também de processos de análise formal. O ambiente estabelecido a partir desta metalinguagem fornece meios de especificar, desenvolver e analisar formalmente o sistema, incluindo aí seus requisitos de segurança e sua funcionalidade adicional.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (4) . , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Carlos Bazílio Martins - Integrante / Edward Hermann Haeusler - Coordenador / Fernando Naufel do Amaral - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Cooperação., Número de produções C, T & A: 2

• 2004 - 2006

  Desenvolvimento do Modelo de Gerência de Chaves da Cifra SEANET, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Disnei Vieira Salles - Coordenador / Rinaldo Marques de Abreu - Integrante.

• 2003 - 2005

  Fundamentos Matemáticos para a Crioptografia do Link Yb, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Disnei Vieira Salles - Coordenador / Rinaldo Marques de Abreu - Integrante.

• 2011 - 2014

  Ambiente de Aprendizado Online- AMAO, Descrição: Este projeto objetiva o desenvolvimento de um sistema web que permita aos professores aplicarem avaliações de programação aos seus alunos utilizando um sistema no qual, a partir de uma base de dados com um número considerado de questões classificadas pelo conteúdo e nível de dificuldade, estas serão sorteadas na elaboração semiautomática das provas. Assim, cada avaliação é única ? o que evita que alunos copiem as resoluções dos outros. Além disso, proporciona um ambiente limpo e simples para o professor obter os resultados dos alunos. E, aos alunos, se torna um facilitador na hora de fazer as questões, tanto de programação quanto discursivas ou objetivas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Geiza Maria Hamazaki da Silva - Coordenador / Felipe Arruda Pontes - Integrante / Zanoni Miranda - Integrante.

• 2008 - 2009

  Desenvolvimento de um sistema criptográfico assimétrico e simétrico baseado em curvas elípticas, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Disnei Vieira Salles - Coordenador / Wiliam Augusto Rodrigues de Souza - Integrante / Luiz Carlos de Castro Guedes - Integrante / Waldyr Benits - Integrante.

• 2006 - 2008

  Anubis - TECMF, Descrição: Técnicas de análise formal de software são mecanismos rigorosos, embasados matematicamente, que permitem aumentar a confiança de que um artefato de software realmente faz o que se espera que ele faça. Estas técnicas incluem simulação (ou teste), verificação de modelos (model checking) e prova de teoremas. Com base em argumentos epistemológicos e fazendo um paralelo com a teoria da ciência no que diz respeito à confirmação de teoria científicas, o uso de Análise Formal em uma abordagem baseada em linguagem para o desenvolvimento de sistemas de informação oferece uma via segura para o desenvolvimento de sistemas de informação. O principal objetivo deste projeto é o desenvolvimento de uma abordagem baseada em linguagem para o desenvolvimento de sistemas multi-agentes em segurança da informação. Esta abordagem utilizará fortemente a experiência a ser adquirida dentro do escopo dos estudos de caso oferecidos pela Módulo, incorporando ao seu desenvolvimento os aspectos já validados durante a sua concepção. A abordagem é baseada na definição de uma metalinguagem para especificação de sistemas multi-agentes, baseados no modelo BDI, com adição de pressupostos de segurança da informação, estabelecidos via uma combinação de lógicas doxásticas, de ação, temporais e de autenticação. A semântica desta metalinguagem guia o processo de derivação, não só de especificações mais refinadas, mas também de processos de análise formal. O ambiente estabelecido a partir desta metalinguagem fornece meios de especificar, desenvolver e analisar formalmente o sistema, incluindo aí seus requisitos de segurança e sua funcionalidade adicional.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (4) . , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Carlos Bazílio Martins - Integrante / Edward Hermann Haeusler - Coordenador / Fernando Naufel do Amaral - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Cooperação., Número de produções C, T & A: 2

• 2004 - 2006

  Desenvolvimento do Modelo de Gerência de Chaves da Cifra SEANET, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Disnei Vieira Salles - Coordenador / Rinaldo Marques de Abreu - Integrante.

• 2003 - 2005

  Fundamentos Matemáticos para a Crioptografia do Link Yb, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Disnei Vieira Salles - Coordenador / Rinaldo Marques de Abreu - Integrante.

• 2011 - 2014

  Ambiente de Aprendizado Online- AMAO, Descrição: Este projeto objetiva o desenvolvimento de um sistema web que permita aos professores aplicarem avaliações de programação aos seus alunos utilizando um sistema no qual, a partir de uma base de dados com um número considerado de questões classificadas pelo conteúdo e nível de dificuldade, estas serão sorteadas na elaboração semiautomática das provas. Assim, cada avaliação é única ? o que evita que alunos copiem as resoluções dos outros. Além disso, proporciona um ambiente limpo e simples para o professor obter os resultados dos alunos. E, aos alunos, se torna um facilitador na hora de fazer as questões, tanto de programação quanto discursivas ou objetivas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Geiza Maria Hamazaki da Silva - Coordenador / Felipe Arruda Pontes - Integrante / Zanoni Miranda - Integrante.

• 2008 - 2009

  Desenvolvimento de um sistema criptográfico assimétrico e simétrico baseado em curvas elípticas, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Disnei Vieira Salles - Coordenador / Wiliam Augusto Rodrigues de Souza - Integrante / Luiz Carlos de Castro Guedes - Integrante / Waldyr Benits - Integrante.

• 2006 - 2008

  Anubis - TECMF, Descrição: Técnicas de análise formal de software são mecanismos rigorosos, embasados matematicamente, que permitem aumentar a confiança de que um artefato de software realmente faz o que se espera que ele faça. Estas técnicas incluem simulação (ou teste), verificação de modelos (model checking) e prova de teoremas. Com base em argumentos epistemológicos e fazendo um paralelo com a teoria da ciência no que diz respeito à confirmação de teoria científicas, o uso de Análise Formal em uma abordagem baseada em linguagem para o desenvolvimento de sistemas de informação oferece uma via segura para o desenvolvimento de sistemas de informação. O principal objetivo deste projeto é o desenvolvimento de uma abordagem baseada em linguagem para o desenvolvimento de sistemas multi-agentes em segurança da informação. Esta abordagem utilizará fortemente a experiência a ser adquirida dentro do escopo dos estudos de caso oferecidos pela Módulo, incorporando ao seu desenvolvimento os aspectos já validados durante a sua concepção. A abordagem é baseada na definição de uma metalinguagem para especificação de sistemas multi-agentes, baseados no modelo BDI, com adição de pressupostos de segurança da informação, estabelecidos via uma combinação de lógicas doxásticas, de ação, temporais e de autenticação. A semântica desta metalinguagem guia o processo de derivação, não só de especificações mais refinadas, mas também de processos de análise formal. O ambiente estabelecido a partir desta metalinguagem fornece meios de especificar, desenvolver e analisar formalmente o sistema, incluindo aí seus requisitos de segurança e sua funcionalidade adicional.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (4) . , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Carlos Bazílio Martins - Integrante / Edward Hermann Haeusler - Coordenador / Fernando Naufel do Amaral - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Cooperação., Número de produções C, T & A: 2

• 2004 - 2006

  Desenvolvimento do Modelo de Gerência de Chaves da Cifra SEANET, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Disnei Vieira Salles - Coordenador / Rinaldo Marques de Abreu - Integrante.

• 2003 - 2005

  Fundamentos Matemáticos para a Crioptografia do Link Yb, Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Geiza Maria Hamazaki da Silva - Integrante / Disnei Vieira Salles - Coordenador / Rinaldo Marques de Abreu - Integrante.

Prêmios