Interface com o usu´ario

A interface com o usu´ario foi projetada visando a simplicidade de intera¸c˜ao do usu´ario, por´em provendo o maior conjunto de recursos poss´ıveis para auxiliar o usu´ario na visu- aliza¸c˜ao e an´alise da pol´ıtica de seguran¸ca. A Figura 6.12 apresenta a interface b´asica com o usu´ario. Est˜ao destacados na figura: (a) menu principal; (b) descri¸c˜ao do grafo, (c) GraphDisplayWidget; (d) n´os; (e) arestas; (f) hint.

O menu principal permite ao usu´ario abrir os arquivos de pol´ıtica, aplicar op¸c˜oes de edi¸c˜ao sobre o grafo visualizado e escolher quais as visualiza¸c˜oes desejadas. Na im- plementa¸c˜ao parcial, o usu´ario conta com trˆes op¸c˜oes de visualiza¸c˜ao de transi¸c˜ao de dom´ınios, que correspondem a trˆes preocupa¸c˜oes de seguran¸ca (Figura 6.13). Essas op¸c˜oes permitem verificar as 3 primeiras quest˜oes apresentadas na Se¸c˜ao 5.4, ou seja, determinar se um determinado dom´ınio pode atingir algum dom´ınio de risco, se um determinado dom´ınio est´a exposto a algum dom´ınio que n˜ao deveria e se existe um caminho entre dois dom´ınios que transi¸c˜oes sucessivas poderiam permitir a transi¸c˜ao do primeiro para o segundo.

A descri¸c˜ao do grafo est´a presente para orientar o usu´ario de qual o conjunto de regras est˜ao sendo analisados, visto que o usu´ario pode abrir mais de uma janela para visualizar aspectos distintos da pol´ıtica de seguran¸ca. No exemplo da Figura 6.12, a

6.3. Policy Viewer: detalhes da implementa¸c˜ao 65

Figura 6.12: Interface b´asica com o usu´ario da ferramenta do Policy Viewer.

Figura 6.13: Op¸c˜oes do menu View

op¸c˜ao selecionada foi observar as transi¸c˜oes de dom´ınios poss´ıveis a partir do dom´ınio user t (Domains reached by..., com alguns arestas de transi¸c˜ao de tipo ocultas.

O GraphDisplayWidget ´e o cora¸c˜ao da interface das representa¸c˜ao visuais com o usu´ario. ´E ele a respons´avel por exibir o grafo para o usu´ario, e de direcionar os eventos ge- rados pelo usu´ario e pelo restante do sistema aos componentes de gerenciamento. Atrav´es dela, o usu´ario pode arrastar os n´os, ajeitando-os conforme queira, requerer mais detalhes sobre um determinado n´o ou aresta, ou exibir e esconder elementos da visualiza¸c˜ao. Adi- cionalmente, permite a inclus˜ao de op¸c˜oes especificas aos diagramas utilizados. A Figura 6.14(a) apresenta o menu de contexto gen´erico com op¸c˜oes de ocultar ou exibir n´os dos grafo, enquanto a Figura 6.14(b) apresenta as op¸c˜oes espec´ıficas `as arestas TETransitio- nEdge.

Uma caracter´ıstica adicional, prevista para a vers˜ao final do Policy Viewer, prevˆe a exibi¸c˜ao de dois GraphDisplayWidget na mesma janela, permitindo a visualiza¸c˜ao de dois diagramas em paralelo. Por exemplo, o usu´ario poderia visualizar a diagrama de objetos do sistema para identificar objetos expostos, visualizando o diagrama de dom´ınios e tipos

6.3. Policy Viewer: detalhes da implementa¸c˜ao 66

(a) Menu de con- texto padr˜ao com op¸c˜oes sobre n´os

(b) Menu de contexto espec´ıfico de arestas de tipo TETransitionEdge

Figura 6.14: Menus de Contexto

ao lado para identificar os caminhos de exposi¸c˜ao, conforme apresentado no exemplo do arquivo /etc/passwd na Se¸c˜ao 6.2.4.

N´os e arestas s˜ao representados conforme projetado na Se¸c˜ao 6.2. Na interface apre- sentada na Figura 6.12, apenas n´os TypeNode e arestas TETransitionEdge est˜ao presentes, pois foram os ´unicos implementados na ferramenta. Cores distintas s˜ao utilizadas para representar n´os e arestas com significado diferente, sendo utilizado fundo verde para in- dicar dom´ınios e fundo em tom laranja para indicar demais tipos do sistema. De forma semelhante, setas azuis indicam transi¸c˜ao de dom´ınios enquanto setas vermelhas indicam transi¸c˜ao tipos. Apesar da classe possuir a op¸c˜ao de modificar as cores utilizadas na representa¸c˜ao, visando permitir ao usu´ario configurar dinamicamente op¸c˜oes de destaque em fun¸c˜ao de outras caracter´ısticas do n´o, a ferramenta disp˜oe no momento somente de uma configura¸c˜ao est´atica para as colora¸c˜oes.

Como pode ser observado, ainda na Figura 6.12, pode haver mais de um tipo execut´avel respons´avel pela transi¸c˜ao de um dom´ınio para outro (arestas do dom´ınio user crontab t para user t), de forma que utilizam-se arestas “curvadas” para permitir a representa¸c˜ao de m´ultiplas arestas. Ainda na mesma figura, ´e poss´ıvel observar que foram adicionados detalhes (as pequenas caixas com o caracteres ‘+’ e ‘-’), que selecionam a exibi¸c˜ao ou n˜ao do tipo da aplica¸c˜ao (ou objeto container) envolvido na transi¸c˜ao, conforme previsto no diagrama de dom´ınios e tipos. S˜ao exibidos dois destes n´os “fantasmas”: crontab exec t (aplica¸c˜ao) e user home dir t (diret´orio).

O ´ultimo detalhe da interface principal apresentada ´e o uso de hints para exibir detalhes a pol´ıtica. Parando o mouse sobre um n´o ou aresta, ser´a exibido um hint contendo as informa¸c˜oes importantes sobre ele. Assim, ao parar o mouse sobre um n´o TypeNode, s˜ao exibidos os atributos do n´o. Se o usu´ario desejar mais informa¸c˜oes, ele pode utilizar o menu de contexto para acessar a janela de detalhes do objeto selecionado. A Figura 6.15 exibe a janela de informa¸c˜oes adicionais sobre o tipo httpd user script t, contendo informa¸c˜oes sobre o arquivo que define a regra, qual a defini¸c˜ao utilizada, e eventuais coment´arios (a classe PolicyConverter utilizou o padr˜ao adotado pela pol´ıtica do SELinux, que posiciona

6.3. Policy Viewer: detalhes da implementa¸c˜ao 67

o coment´ario imediatamente antes da regra, para obter essa informa¸c˜ao).

Figura 6.15: Janela exibindo detalhes de um n´o

Al´em da janela principal, janelas auxiliares s˜ao utilizadas para sele¸c˜ao dos grafos a serem apresentados. A Figura 6.16 apresenta duas dessas janelas, acessadas a partir da op¸c˜ao View do menu principal. Em (a), ´e apresentada a janela de sele¸c˜ao do dom´ınio de origem para exibi¸c˜ao dos dom´ınios acess´ıveis a partir do dom´ınio selecionado (Figura 6.16(a)), e em (b) ´e apresentada a janela de sele¸c˜ao dos dom´ınios de origem e destino de uma busca de caminhos de transi¸c˜ao. Essas janelas cobrem os objetivos da implementa¸c˜ao parcial da ferramenta, servindo de exemplo para as futuras janelas a serem desenvolvidas na implementa¸c˜ao completa do projeto.

(a) Janela para sele¸c˜ao de n´o para exibi¸c˜ao da op¸c˜ao Domain Transition: Reached by...

(b) Janela para sele¸c˜ao de n´o para exibi¸c˜ao da op¸c˜ao Domain Transition: Paths between...