Alexandre Miège

Possui graduação em Informática, Redes e Telecomunicacões pela Ecole Française d'Electronique et d'Informatique(2000), mestrado em Rede e Segurança em Informática pela Ecole Nationale Supérieure des Télécommunications(2001) e doutorado em Ciênca de computação pela Ecole Nationale Supérieure des Télécommunications(2005). Tem experiência na área de Ciência da Computação, com ênfase em Metodologia e Técnicas da Computação.

Informações coletadas do Lattes em 10/11/2022

Acadêmico

Formação acadêmica

Doutorado em Ciênca de computação

2002 - 2005

Ecole Nationale Supérieure des Télécommunications
Título: Definition of a formal framework for specifying security policies - The Or-BAC model
Orientador: Frédéric Cuppens
Bolsista do(a): France Télécom Recherche & Développement.

Mestrado em Rede e Segurança em Informática

2000 - 2001

Ecole Nationale Supérieure des Télécommunications
Orientador: Frédéric Cuppens

Graduação em Informática, Redes e Telecomunicacões

1997 - 2000

Ecole Française d'Electronique et d'Informatique

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Espanhol

Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.

Português

Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.

Francês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Redes de Computadores.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Segurança Em Sistemas Computacionais.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.

Participação em eventos

. 3rd Workshop on Foundations of Computer Security (FCS 2004). 2004. (Congresso).

. 11th Workshop of the HP OpenView University Association (HPOVUA 2004). 2004. (Congresso).

.Symposium sur la Sécurité des Technologies de l'Information et des Communications (SSTIC 2004). 2004. (Simpósio).

. Workshop on Metadata for Security, International Federated Conferences (OTM 2003). 2003. (Congresso).

. 19th Applied Computer Security Associates Conference (ACSAC 2003). 2003. (Congresso).

.IEEE Symposium on Research in Security and Privacy (S&P 2002). 2002. (Simpósio).

Produções bibliográficas

CUPPENS, F. ; MIÈGE, A. . AdOrBAC: An Adminsitration Model for Or-BAC. Special issue of the International Journal of Computer Systems Science and Engineering, v. 19(3), 2004.
ABOU EL KALAM, A. ; EL BAIDA, R. ; BALBIANI, P. ; BENFERHAT, S. ; CUPPENS, F. ; DESWARTE, Y. ; MIÈGE, A. ; SAUREL, C. ; TROUESSIN, G. . Modèles et politiques de sécurité des systèmes d'information et de communication en santé et social. Santé et Systématiques, éditions Hermès, 2003.
ABOU EL KALAM, A. ; EL BAIDA, R. ; BALBIANI, P. ; BENFERHAT, S. ; CUPPENS, F. ; DESWARTE, Y. ; MIÈGE, A. ; SAUREL, C. ; TROUESSIN, G. . Or-BAC : un modèle de contrôle d'accès basé sur les organisations. Cahiers francophones de la recherche en sécurité de l'information, CRIC, Université de Montpellier I, v. II, p. 30-43, 2003.
CUPPENS, F. ; CUPPENS-BOULAHIA, N. ; MIÈGE, A. . Inheritance hierarchies in the Or-BAC Model and application in a network environment. In: 3rd Workshop on Foundations of Computer Security (FCS 2004), 2004, Turku. 3rd Workshop on Foundations of Computer Security (FCS 2004), 2004.
CUPPENS, F. ; CUPPENS-BOULAHIA, N. ; MIÈGE, A. ; SANS, T. . A formal approach to specify and deploy a network security policy. In: 2nd Workshop on Formal Aspects in Security and Trust (FAST 2004), 2004. 2nd Workshop on Formal Aspects in Security and Trust (FAST 2004), 2004.
CUPPENS, F. ; CUPPENS-BOULAHIA, N. ; MIÈGE, A. . Héritage de privilèges dans le modèle Or-BAC : application dans un environnement réseau. In: Symposium sur la Sécurité des Technologies de l'Information et des Communications (SSTIC 2004), 2004, Rennes. Symposium sur la Sécurité des Technologies de l'Information et des Communications (SSTIC 2004), 2004.
CUPPENS, F. ; MIÈGE, A. . Or-BAC: Organization Based Access Control. In: Distribution des Données à Grande Echelle (DRUIDE 2004), 2004, Le Croisic. Distribution des Données à Grande Echelle (DRUIDE 2004), 2004.
ABOU EL KALAM, A. ; EL BAIDA, R. ; BALBIANI, P. ; BENFERHAT, S. ; CUPPENS, F. ; DESWARTE, Y. ; MIÈGE, A. ; SAUREL, C. ; TROUESSIN, G. . Organization Based Access Control. In: 4th IEEE International Workshop on Policies for Distributed Systems and Networks (Policy 2003), 2003, Lake Como. 4th IEEE International Workshop on Policies for Distributed Systems and Networks (Policy 2003), 2003. p. 120-134.
CUPPENS, F. ; MIÈGE, A. . Administration Model for Or-BAC. In: Workshop on Metadata for Security, International Federated Conferences (OTM 2003), 2003, Catania. Workshop on Metadata for Security, International Federated Conferences (OTM 2003), 2003. p. 754-768.
CUPPENS, F. ; MIÈGE, A. . Modelling Contexts in the Or-BAC Model. In: 19th Applied Computer Security Associates Conference (ACSAC 2003), 2003, Las Vegas, Nevada. 19th Applied Computer Security Associates Conference (ACSAC 2003), 2003. p. 416-427.
CUPPENS, F. ; MIÈGE, A. . Alert correlation in a cooperative intrusion detection framework. In: IEEE Symposium on Research in Security and Privacy (S&P 2002), 2002, Oakland, California. IEEE Symposium on Research in Security and Privacy (S&P 2002), 2002.
CUPPENS, F. ; AUTREL, F. ; MIÈGE, A. ; BENFERHAT, S. . Correlation in an intrusion detection process. In: Internet Security Communication Workshop (SECI 2002), 2002, Tunis. Internet Security Communication Workshop (SECI 2002), 2002.
CUPPENS, F. ; AUTREL, F. ; MIÈGE, A. ; BENFERHAT, S. . Recognizing Malicious Intention in an Intrusion Detection Process. In: 2nd International Conference on Hybrid Intelligent Systems (HIS 2002), 2002, Santiago. 2nd International Conference on Hybrid Intelligent Systems (HIS 2002), 2002.
CUPPENS, F. ; MIÈGE, A. . High level conflict management strategies in advanced access control models. 2004 (Relatório técnico).
CUPPENS, F. ; MIÈGE, A. . Conflict management in the Or-BAC model. 2003 (Relatório técnico).

Outras produções

MIÈGE, A. . OToKit: Or-BAC ToolKit. 2005.

CUPPENS, F. ; MIÈGE, A. . CRIM: detecção, identificacao e correlacionar intenções maliciosas. 2001.

Histórico profissional

Experiência profissional

2001 - 2001

Office National D'Etudes Et de Recherches Aerospatiales

Vínculo: , Enquadramento Funcional: Estagiário, Regime: Dedicação exclusiva.

Atividades

06/2003 - 06/2003
Ensino, Segurança em comércio eletrônico, Nível: Especialização,Disciplinas ministradas, Um curso de quatro horas sobre a segurança em comércio eletrônico, Um curso de quatro horas sobre os métodos de análise e de gerência do risco (MEHARI e EBIOS)
06/2002 - 06/2002
Ensino, Deteção do intrusion, Nível: Especialização,Disciplinas ministradas, Um curso de seis horas sobre a deteção de intrusion
06/2001 - 09/2001
Estágios , DTIM, .,Estágio realizado, Especificação, execução e teste de um dispositivo de correlação entre alertas em uma estrutura cooperativa da deteção do intrusion. Desenvolvimento em Prolog e Java.

2000 - 2000

BULL CP8

Vínculo: , Enquadramento Funcional: Estagiário, Regime: Dedicação exclusiva.

Atividades

03/2000 - 08/2000
Estágios .,Estágio realizado, Desenvolvimiento em Java de um simulador de browser WAP e de uma gateway WAP.

1999 - 1999

Vidéo Transmission Hautre Résolution

Vínculo: , Enquadramento Funcional: Estagiário, Regime: Dedicação exclusiva.

Atividades

05/1999 - 08/1999
Estágios .,Estágio realizado, Instalação, configuração e administração de uma rede local Ethernet. Curso de formação de empregados. Desenvolvimento da base de dados de clientes.