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

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)

 

     Obs: Por aposentadoria, em 01/Julho/2019, o laboratório e o grupo de pesquisa do CNPq foram desativados. 


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 realizado -
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 - LaPSec - UNIOESTE-Foz do Iguaçu

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

                                           
             
- Survey sobre IDSs para computação em nuvem
                 
             
Kleber Magno Maciel Vieira (doutorando PPGCC, LRG Lab)
            

              
- Protocolos de Anonimato (Anonymous Protocols)

              Clytia Higa Tamashiro. Uma Análise de Protocolos de Roteamento Anônimo para Redes sem fio Ad Hoc Móveis.

              - Heterogeneous Wireless Networks
              Lucas Guardalben. Self-Configuration and Self-Optimization Process in Heterogeneous Wireless Networks
                 

       - Segurança de Bancos de Dados em Computação em Nuvem
     
Fabio Grezele (CIASC-SC)

     


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

- Projeto de Extensão COMPUTAÇÃO NO ENSINO FUNDAMENTAL

Artigo-Relatório:
  Computação no Ensino     Fundamental   (DEB-CAPES-2011)   (2015-09-02)

                      
E.B.M. Intendente Aricomedes da Silva (2011.1)
              
Sobral, João Bosco M.
               Kittel, Rosângela;
               Hoppen, Angela;
               Mioto, Ana Elisa;
               Cruz, Fernando A. S.

                           
                      
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)


                      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)
========================================================= 

              Publicações (2001-2020)  

Livros (2015) - "Série Pensamento Matemático & Ciência daComputação"
     
Prof. João Bosco M. Sobral
Volume I - 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
|
Volume II - 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

Livro (2019) 

Volume III - Computação Quântica: Aspectos Físicos e Matemáticos - Uma Abordagem Algébrica
Autores: Sobral, João Bosco M, Machado, Renato B.

Está no Repositório Institucional da UFSC, o volume III da Série Pensamento Matemático @ Ciência da Computação, constando uma história fantástica que começa nas limitações da Física clássica, passa pelo surgimento da Física Quântica (mecânica quântica, teoria quântica), mostra como John von Neumann modelou sistemas quânticos através da abordagem algébrica dos espaços de Hilbert, e conclui com uma parte sobre computação quântica (portas quânticas, algoritmos quânticos e criptografia quântica), que Benioff, Feynman, Deutsch, Bennett e tantos outros, nos proporcionaram as primeiras ideias da computação quântica. Segue um resumo do conteúdo:

====================================
I A Física 
1 Da Física Clássica ao Início da Física Quântica
2 O Século da Física Quântica
3 A Revolução Quântica
4 A Base Experimental da Mecânica Quântica
5 Os Experimentos da Dupla-Fenda

II A Matemática 
6 A Base Matemática Algébrica
7 Espaços de Hilbert
8 Espaços de Hilbert e a Teoria Quântica

III A Computação Quântica
9 Da Mecânica Quântica à Computação Quântica
10 Uma Introdução à Computação Quântica
11 Algoritmos e Computação Quântica
12 Criptografia Quântica
====================================

O trabalho é modesto, mas mostra as raízes da Computação Quântica, onde procurei organizar em forma de livro (ISBN 978-85-902995-4-7), o vasto material já existente em livros, artigos e ótimos links de Internet. Imagino que possa contribuir para aqueles que desejam conhecer os conceitos fundamentais da mecânica quântica aplicados à computação quântica. Imagino que o principal diferencial deste trabalho é ser direcionado a um público abrangente, que não necessariamente tenha conhecimentos prévios sobre mecânica quântica, mas que se adapte à natureza abstrata do assunto. 

Para quem quiser acessar o arquivo. Veja o link: 
https://repositorio.ufsc.br/handle/123456789/197576


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

Artigos Publicados (2001-2020)
Área de Pesquisa: Segurança de Redes

        

(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.

(GUARDALBEN, 2010) GUARDALBEN, Lucas; VILLALBA, L.J.G.; BUIATI, F.;SOBRAL, J.B.M.; CAMPONOGARA, E..  Self-Configuration and Self-Optimization Process in Heterogeneous Wireless Networks. 2010.  SENSORS, Vol. 11, Série 1, 425 (p.inicial), ISSN 1424-8220, DOI:10.3390/s110100425

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

(VIEIRA, 2019) VIEIRA, Kleber; KOCH, Fernando; SOBRAL, Joao Bosco M.; WESTPHALL, Carlos Becker; LEÃO, Jorge Lopes de Souza. Autonomic Intrusion Detection and Response using Big Data. IEEE Systems Journal, Vol. 14, Issue:2, June 2020, pp. 1984-1991, Print ISSN 1932-8184, Online ISSN: 1937-9234, DOI: 10.1109/JSYST.2019.2945555, Published on IEEE Explore.

(SOUZA, 2020) SOUZA, Cristiano Antonio, WESTPHALL; Carlos B.;MACHADO, Renato Bobsin; SOBRAL, João Bosco M.; VIEIRA, Gustavo dos Santos; Hybrid approach to intrusion detection in fog-based IoT environments. Computer Networks, 180 (2020) 107417, ISSN 1389-1286, Elsevier, www.elsevier.com/locate/comnet