Gerenciamento Baseado em Modelos da Configuração de Sistemas de Segurança em Redes de Larga Escala

• João Porto de Albuquerque UNICAMP / University of Dortmund
• Holger Isenberg University of Dortmund
• Heiko Krumm University of Dortmund
• Paulo Lício de Geus UNICAMP

DOI: https://doi.org/10.5753/sbseg.2005.21531

Resumo

Os mecanismos de segurança empregados em ambientes de redes atuais são de crescente complexidade e o gerenciamento de suas configurações adquire, portanto, um papel fundamental para proteção desses ambientes. Particularmente em redes de computadores de larga escala, os administradores de segurança vêem-se confrontados com o desafio de projetar, implementar, manter e monitorar um elevado número de mecanismos, os quais em sua maioria possuem sintaxes de configuração heterogênea e complicada. Uma conseqüência dessa situação é que erros de configuração são causas freqüentes de vulnerabilidades de segurança. O presente trabalho oferece uma sistemática para o gerenciamento da configuração de sistemas de segurança de redes, construída sobre a abordagem de gerenciamento baseado em modelos. Apresentamos aqui uma técnica de modelagem que trata uniformemente diferentes tipos de mecanismos e é apoiada por um editor gráfico para o projeto do sistema. O editor incorpora conceitos de foco e contexto para facilitar a visualização e navegação de grandes modelos.

Referências

Anderson, R. J. (1994). Why cryptosystems fail. Communications of ACM, 37(11):32-40.

Bartal, Y., Mayer, A. J., Nissim, K., and Wool, A. (2004). Firmato: A novel firewall management toolkit. ACM Transactions on Computer Systems, 22(4):381-420.

Card, S. K., Mackinlay, J. D., and Shneiderman, B., editors (1999). Readings in Information Visualization: Using Vision to Think. Series in Interactive Technologies. Morgan Kaufmann Publishers, San Francisco, CA.

Damianou, N., Dulay, N., Lupu, E., Sloman, M., and Tonouchi, T. (2002). Tools for domain-based policy management of distributed systems. In IEEE/IFIP Network Operations and Management Symposium (NOMS2002), pages 213-218, Florence, Italy.

Furnas, G. W. (1986). Generalized fisheye views. In Proceedings of ACM CHI'86 Conference on Human Factors in Computing Systems, Visualizing Complex Information Spaces, pages 16-23.

Köth, O. and Minas, M. (2002). Structure, abstraction, and direct manipulation in diagram editors. In Diagrammatic Representation and Inference, Second International Conference (Diagrams 2002), volume 2317 of Lecture Notes in Computer Science, Callaway Gardens, GA, USA. Springer.

Lymberopoulos, L., Lupu, E., and Sloman, M. (2004). Ponder policy implementation and validation in a CIM and differentiated services framework. In IFIP/IEEE Network Operations and Management Symposium (NOMS 2004), Seoul, Korea.

Lück, I., Vögel, S., and Krumm, H. (2002). Model-based configuration of VPNs. In Proc. 8th IEEE/IFIP Network Operations and Management Symposium NOMS 2002, pages 589-602, Florence, Italy. IEEE.

Moffett, J. D. and Sloman, M. S. (1993). Policy hierarchies for distributed system management. IEEE JSAC Special Issue on Network Management, 11(9).

Musial, B. and Jacobs, T. (2003). Application of focus + context to UML. In Australian Symposium on Information Visualisation, (invis.au'03), volume 24 of Conferences in Research and Practice in Information Technology, pages 75-80, Adelaide, Australia. ACS.

Oppenheimer, D., Ganapathi, A., and Patterson, D. (2003). Why do internet services fail, and what can be done about it. In 4th USENIX Symposium on Internet Technologies and Systems (USITS'03).

Porto de Albuquerque, J., Krumm, H., and de Geus, P. L. (2005a). On scalability and modularisation in the modelling of security systems. In 10th European Symposium on Research in Computer Security (ESORICS 05), volume 3679 of LNCS, pages 287-304, Heidelberg, Germany. Springer Verlag.

Porto de Albuquerque, J., Krumm, H., and de Geus, P. L. (2005b). Policy modeling and refinement for network security systems. In Sixth IEEE International Workshop on Policies for Distributed Systems and Networks, pages 24-33, Stockholm, Sweden.

Sandhu, R. S., Coyne, E. J., Feinstein, H. L., and Youman, C. E. (1996). Role-based access control models. IEEE Computer, 29(2):38-47.

Sarkar, M. and Brown, M. H. (1992). Graphical fisheye views of graphs. In Proceedings of ACM CHI'92 Conference on Human Factors in Computing Systems, Visualizing Objects, Graphs, and Video, pages 83-91.

Zwicky, E. D., Cooper, S., and Chapman, D. B. (2000). Building Internet Firewalls. O'Reilly and Associates, Sebastopol, CA, 2nd edition.