DMC-NS Lab - Distributed Mobile Computing
& Network Security Laboratory - UFSC


CTC-INE Sala 515

Grupo de Pesquisa CNPq-UFSC 2016
Segurança da Informação, Redes e Sistemas

Lider : João Bosco M. Sobral (UFSC)  (bosco.sobral@ufsc.br)
Vice-Lider : Sergio Peters (UFSC) (sergio.peters@ufsc.br)

 

 

História 
O primeiro grupo de pesquisa CNPq certificado pela UFSC foi criado em Julho de 2002 e foi chamado GPCD (Grupo de Pesquisa em Computação Distribuida).

GPCD (Grupo de Pesquisa em Computação Distribuída) (2002-2003)

O
segundo grupo de pesquisa CNPq, chamado DMC & NS (Distributed Mobile Computing and Network Security
), teve suas atividades desde Dezembro de 2004, através de vários trabalhos oriundos de dissertações de mestrado orientadas no PPGCC-UFSC,
e seus artigos publicados correspondentes. Este teve seu término em Dezembro de 2015.

Esta página diz respeito ao terceiro grupo de pesquisa, chamado GRUPO DE PESQUISA EM SEGURANÇA DA INFORMAÇÃO, REDES E SISTEMAS, o qual consiste no trabalho conjunto entre o laboratório
LabSeg na UNIOESTE-PR, o DMC & NS Lab e o LRG no Departamento de Informática e Estatística da UFSC.

Objetivos - GRUPO DE PESQUISA EM SEGURANÇA DA INFORMAÇÃO, REDES E SISTEMAS
 
        - Segurança de Rede (Network Security para Computação em Nuvem)
             

               - Intrusion Detection (IDS) com
Sistema Imunológico Artificial  
                 aplicado à computação em nuvem.

                 Projeto de Pesquisa Atual - A Expansão do Sistema SIA-DI na   
              Computação em Nuvem
(SIA-DI-Cloud)
                     Projeto de Pesquisa INE-UFSC 2015.1313

                 
                  Prof. João Bosco M. Sobral, Dr.
                  Prof. Renato Bobsin Machado, Dr.
                 
                  TCC - Gustavo dos Santos Vieira (UNIOESTE)
                  TCC - Maurício Fontana (UNIOESTE)
                  IC e TCC - William Antonio da Rosa (UNIOESTE)
                  MESTRADO - Cristiano Antonio de Souza (UNIOESTE-PR)
                  MESTRADO - Jonathan Cardoso de Campos (UNIOESTE-PR)

O SIA-DI é um sistema de detecção de intrusão, construído inspirado biologicamente no sistema humonológico humano, definido sob o conceito de um sistema imunológico artificial. Tal sistema foi tema de dissertação de mestrado, na linha de pesquisa sobre segurança de redes, do laboratório DMC-NS, iniciada em 2000 e continuada em 2005, mas que redundou em publicações importantes no Laboratório DMC-NS, no contexto de redes convencionais. Em 2013.1, o sistema foi reprogramado e desde 2015.1, tem sido assunto de pesquisa num ambiente de computação em nuvem (SIA-DI-Cloud), onde se pretende que tenha a mesma eficiência, atualizado no ambiente mais atual de computação. A pesquisa é conjunta com o Laboratório de Pesquisa em Segurança Computacional (LapSeg) na UNIOESTE em Foz do Iguaçu, dentro do âmbito do novo grupo de pesquisa UFSC-CNPq, SEGURANÇA DA INFORMAÇÃO, REDES E SISTEMAS, mantido pelo laboratório DMC-NS.

                                                       - Trabalhos Publicados -

Laboratório DMC-NS - INE-UFSC
Laboratório de Pesquisa em Segurança Computacional – LaPSeC Universidade Estadual do Oeste do Paraná – Campus Foz do Iguaçu


Detecção de Intrusão mediante Sistemas Imunológicos Artificiais -
Gustavo dos Santos Vieira, Renato B. Machado, Cristiano A. de Souza

Desenvolvimento e Avaliação de uma Solução para Autenticação em Redes WiFi com Um Clique -
Maurício Fontana, Everton Alvares Cherman, Renato Bobsin Machado

Detecção de Intrusão utilizando Métodos de Inteligência Computacional -
William Antonio da Rosa, Renato Bobsin Machado, Cristiano Antonio de
Souza


                  - Relatório Técnico - Projeto de Pesquisa INE-UFSC 2015.1313

Avaliação do SIA-DI - Sistema de Detecção de Intrusão baseado em Sistemas Imunológicos Artificiais - Ambiente de Nuvem Computacional  - João Bosco M. Sobral, Renato Bobsin Machado, Gustavo dos Santos Vieira, Cristiano A. de Souza, Maurício Fontana, Jonathan Cardoso de Campos, William Antonio da Rosa.

              
- Survey sobre IDSs para computação em nuvem
                 
                  Kleber Magno Maciel Vieira
(doutorando PPGCC, LRG Lab)
                  João Bosco M. Sobral 
(INE-UFSC)

               
- Protocolos de Anonimato (Anonymous Protocols)

                  Lucas Guardalben, Ph.D. MAP-I Doctoral Programme Computer Science
                  NAP - Network Architectures and Protocols, Universidade de Aveiro, 
                  Portugal.

                  João Bosco M. Sobral (INE-UFSC)

        - Segurança de Bancos de Dados em Computação em Nuvem
                        (Cloud Database Security)

     
          Fabio Grezele
(CIASC-SC)

          João Bosco M. Sobral
(INE-UFSC, DMC-NS)


========================================================

- Projeto de Extensão COMPUTAÇÃO NO ENSINO FUNDAMENTAL
                           
Colégio de Aplicação da UFSC (2014.2-2016.2)
               Prof. João Bosco M. Sobral (INE-UFSC)
               Profa. Juliana Eyng (INE-UFSC)
               Prof. Fernando Augusto da Silva Cruz (INE-UFSC)
               Rodrigo Fantinati Ferreira  (Voluntário)
               Profa. Márcia Maria Bernal  (CA-UFSC)
               Profa. Josalba Ramalho Vieira (CA-UFSC)

      Artigo-Relatório:  Computação no Ensino Fundamental na Escola Pública  (DEB-CAPES-2011) - Sobral, João Bosco M.; Kittel, Rosângela; Hoppen, Angela; Mioto, Ana Elisa; Cruz, Fernando A. S. (2015-09-02)

                             E.B.M. Virgílio Várzea  (2015.1, 2015.2, 2016.2)
Prof. João Bosco M. Sobral (INE-UFSC)

Ildo Turatti (E.B.M.Virgílio Várzea, Canasvieiras, Florianópolis)
========================================================= 

Publicações (2001-2015)
               

Distributed Mobile Computing and Network Security Research Group
(2004-2015)
    

Livros (2015) - "Série Pensamento Matemático & Ciência daComputação"
     
Prof. João Bosco M. Sobral
Título: Dos Primórdios da Matemática aos Sistemas Formais da Computação
Autor: Sobral, João Bosco M.
Resumo: (0) Introdução (1) As Bases da Ciência da Computacão,(2) As Origens: A Aritmética, (3) Os Números, (4) Os Números Primos, (5) Congruência e Aritmética Modular, (6) Álgebra na Europa (7) A Lógica: de Leibniz a Boole, (8) Século XIX: Frege e a Lógica dos Predicados, (9) A Teoria dos Conjuntos, (10) Relações e Funcões, (11) Grupos e Corpos (12) Conjuntos e Enumera cão, (13) A Aritmética nos Séculos XIX e XX, (14) Hilbert - Formalismo e os Sistemas Axiom áticos, (15) Gödel e os Limites dos Sistemas Formais, (16) Dos Fundamentos da Matemática aos Sistemas Formais, e (17) Os Sistemas Formais da Computação.
Descrição: Livro de apoio ao ensino de graduação em disciplinas de matemática discreta e lógica, em cursos de ciência da computação.
Data: 2015-12-23
|
Título: Da Computabilidade Formal às Máquinas Programáveis
Autor: Sobral, João Bosco M.
Resumo: (0) O Embrião da Ciência da Computação; (1) Calculadoras Macânicas, a pré-história dos computadores; (2) Alonzo Church, funções computáveis; (3) Alan Turing, a computação sem computador; (4)A Computabilidade de Emil Post; (5)Funções Recursivas Computáveis; (6)O Legado de von Neumann; (7) Shannon, da álgebra de Boole à matemática da comunicação; (8) Breve história dos primeiros computadores; (9) História da Teoria da Complexidade; (10)Modelos de computação em grafos ; (11) Lógicas Clássicas e Não-Clássicas; (12) Visão Abstrata de Dados; (13) O paradigma da computação ubíqua; (14) O Futuro, a computação quântica.
Descrição: Livro de apoio ao ensino de graduação em disciplinas de matemática discreta e lógica, em cursos de ciência da computação.
Data: 2015-12-23
==========================================================
 

Artigos Publicados (2001-2015)

        

(JUCÁ, 2001) JUCÁ, Kathia Regina Lemos. Um Sistema de Detecção de Intrusão baseado no Sistema Imunológico Humano com Análise dos Registros de Atividades. 2001. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Santa Catarina,  Orientador: João Bosco Mangueira Sobral.

(JUCÁ, 2002) JUCÁ, Kathia Regina Lemos; BOUKERCHE, A. ; SOBRAL, J. B. M. . Intrusion Detection Based on the Immune Human System. In: 16th International Parallel & Distributed Processing Symposium, 2002, Ft.Lauderdale, Florida, USA. Proceedings of IPDPS (Abstracts and CD-ROM). Ft. Lauderdale, Florida, USA. : The Printing House, 2002. v. 1. p. 199-199.

(JUCÁ, 2003) JUCÁ, Kathia Regina Lemos; BOUKERCHE, A.; SOBRAL, J. B. M. ; NOTARE, Mirela Sechi Moretti Annoni . Human Immune Anomaly and Misuse Based Detection for Computer System Operations: Part II. In: 17th  International Paralell & Distributed Processing Symposium - Workshop on Nature Inspired Distributed Computing, 2003, Nice. Proceedings of 17th International Paralell & Distributed Processing Symposium, 2003. p. 146-153.

(JUCÁ, 2004) BOUKERCHE, A.; JUCÁ, Kathia Regina Lemos ; SOBRAL, J. B. M. ; NOTARE, Mirela Sechi Moretti Annoni;. An Artificial Immune based Intrusion Detection Model for Computer and Telecommunication Systems. Parallel Computing, Published by Elsevier B. V., v. 30, p. 629-646, 2004.

MACHADO, 2005a) MACHADO, Renato Bobsin; Um Sistema de Detecção de Intrusão de Host baseado em Sistema Imunológico Artificial. Fevereiro de 2005. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Santa Catarina, Supervisor: João Bosco Mangueira Sobral.

(MACHADO, 2005b) MACHADO, Renato Bobsin; SOBRAL, J. B. M. ; JUCÁ, Kathia Regina Lemos ; NOTARE, Mirela Sechi Moretti Annoni . A Hibrid Artificial Immune and Mobile Agent Intrusion Detection Based Model for Computer Network Operations. In: 18th International Parallel and Distributed Processing Symposium, Abril de 2005, Denver. Proceedings of IPDPS 2005, 2005.

 (LIMA, 2005a) LIMA, Igor Vinicius Mussoi de; Uma Abordagem Simplificada de Detecção de Intrusão Baseada em Redes Neurais Artificiais. Fevereiro de 2005. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Santa Catarina.  Supervisor: João Bosco Mangueira Sobral.

(LIMA, 2005b) LIMA, Igor Vinicius Mussoi de; Dezembro de 2005. Detecção de Intrusão Baseada em Redes Neurais. In Proceedings of 4th International Information and Telecommunication Technologies Symposium (CD em anexo), Dezembro de 2005, Florianópolis, Brazil.

(NOTARE, 2005) BOUKERCHE, A.; NOTARE, Mirela Sechi Moretti Annoni; JUCÁ, Kathia Regina Lemos; SOBRAL, J. B. M.;   Handbook of Bioinspired Algorithms and Applications, Edited by Stephan Olariu and Albert Y. Zomaya, Section II, Chapter 23, p.359-372, Chapman & Hall/CRC Computer and Information Science Series, ISBN 1584884754, 2005.

(BOUKERCHE, 2007) BOUKERCHE, A.; MACHADO, Renato Bobsin, JUCÁ, Kathia Regina Lemos;  SOBRAL, J. B. M.;  NOTARE, Mirela Sechi Moretti Annoni; An Agent based and Biological Inspired Real-Time Intrusion Detection and Security Model for Computer Network Operations IEEE Computer Communications,  Volume 30, Issue 13, 26 September 2007, Pages 2649-2660.

(TAMASHIRO, 2007) TAMASHIRO, Clytia Higa. Uma Análise de Protocolos de Roteamento Anônimo para Redes sem fio Ad Hoc Móveis. 2007. Dissertação (Mestrado em Ciência da Computação) -   Universidade Federal de Santa Catarina, Orientador : João Bosco Mangueira Sobral.

(DEGASPARI, 2008) DEGASPARI, J. A. ; SOBRAL, J. B. M. ; LIMA, I. V. M. : Intrusion Detection Through Artificial Neural Networks.  11th IEEE/IFIP Network Operations and Management Symposium NOMS 2008, April - Bahia - Brazil.

(DEAGASPARI, 2009) DEGASPARI, Joelson de Alencar. Análise Comparativa dos Métodos de Detecção de Intrusão Logcheck e Rede Neural. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina, Supervisor: João Bosco Mangueira Sobral.

(BODNAR, 2014) BODNAR, Lucas. Adaptação do Sistema de Detecção SIA-DI: A Reprogramação da Mobilidade dos Agentes. Trabalho de Conclusãode Curso de Graduação, Sistemas da Informação. UFSC.

(COSTA 2015) COSTA, Rafael Morais. Implantação do Sistema SIA-DI num Ambiente de Nuvem. Trabalho de Conclusãode Curso de Graduação, Sistemas da Informação. UFSC.