Capítulo 6 — Estruturas discretas

Mapa da aula

Aula 06 publicada. Mapa, exemplo, EX016.

flowchart TD
  N0["6.1 Papéis como conjuntos"]
  N1["6.2 Segregação de funções"]
  N2["6.3 Grafos de dependência"]
  N3["Síntese"]
  N0 --> N1 --> N2 --> N3
  N3 --> EX["Exemplo resolvido"]
  EX --> Q["Exercício EX016"]

Desenho lógico

flowchart LR
  N0["6.1 Papéis como conjuntos"]
  N1["6.2 Segregação de funções"]
  N2["6.3 Grafos de dependência"]
  N3["Síntese"]
  N0 --> N1 --> N2 --> N3 --> Q["EX016"]

[6.1 Papéis como conjuntos]
    |
    v
[6.2 Segregação de funções]
    |
    v
[6.3 Grafos de dependência]
    |
    v
[Síntese]
    |
    v
[Exemplo resolvido] --> [Exercício EX016]

Objetivos de aprendizagem

Você vai (1) representar papéis e permissões como conjuntos e relações; (2) encontrar conflitos de segregação de funções; (3) usar grafos para rastrear dependências.

6.1 Papéis como conjuntos

Sofia representa os papéis financeiros da Elmfield como conjuntos de permissões. O auxiliar de pagamentos pode lançar faturas de fornecedores e registrar pagamentos. A gerente financeira pode aprovar pagamentos e cadastrar novos fornecedores. Ela lista que funcionários têm que papéis e calcula as permissões combinadas de cada pessoa. Uma pessoa que cobre a ausência de uma colega tem os dois papéis, o que lhe permite cadastrar um fornecedor e aprovar pagamentos a ele. Os conjuntos tornam esse conflito visível na hora, sem depender de alguém notar. Aqui a origem do conflito é o arranjo de cobertura, e não a intenção de alguém.

6.2 Segregação de funções

A segregação de funções impede que uma pessoa conclua sozinha um processo sensível. Sofia escreve as regras como pares de permissões proibidos, como cadastrar fornecedor com aprovar pagamento. Ela confere o conjunto de permissões de cada pessoa contra as regras e encontra o único conflito. Recomenda que os arranjos de cobertura usem acesso temporário, com um segundo aprovador e data de término. Aprende que essa lógica simples está por trás de muitos controles antifraude e pode ser conferida automaticamente todo mês; uma conferência mensal automática também apanharia um arranjo de cobertura que deveria ter terminado e nunca terminou.

6.3 Grafos de dependência

Sofia desenha um grafo em que os nós são sistemas e as arestas mostram dependências. O sistema de gestão habitacional depende da identidade em nuvem, que depende do e-mail. Se a identidade em nuvem falhar, os funcionários não alcançam os registros habitacionais. O grafo mostra que a identidade é um ponto único de falha para a maioria dos serviços. Ela aprende que os grafos revelam concentrações ocultas de risco que os inventários sozinhos não mostram, e que o planejamento de resiliência deve focar os nós com muitos dependentes. O Dr. Haddad sugere conferir como os funcionários chegariam aos registros habitacionais se a identidade em nuvem caísse.

Exemplo resolvido

Sofia encontra um conflito de segregação de funções por operações de conjuntos e identifica com um grafo a identidade em nuvem como ponto único de falha.

Caso sintético. Os papéis, os funcionários e os sistemas são sintéticos.

Erros e limites

Os dados de permissões podem estar incompletos. Os grafos deixam escapar dependências informais.

Exercícios

• EX016 — Conflito encontrado. Que conflito Sofia encontrou?
  Mostrar critérios de avaliação

  Rubrica: 3 = uma pessoa podia cadastrar um fornecedor e aprovar pagamentos a ele;; 2 = SoD;; 1 = vago;; 0 = nenhuma.
• EX017 — Correção da cobertura. Como devem funcionar os arranjos de cobertura?
  Mostrar critérios de avaliação

  Rubrica: 3 = acesso temporário com segundo aprovador e data de término;; 2 = temporário;; 1 = vago;; 0 = nenhuma.
• EX018 — Ponto único. Que sistema é um ponto único de falha?
  Mostrar critérios de avaliação

  Rubrica: 3 = a identidade em nuvem;; 2 = identidade;; 1 = e-mail;; 0 = nenhuma.

Síntese

Conjuntos, relações e grafos tornam visíveis os conflitos de acesso e os riscos de dependência.