Segurança da informação: o mapa

adopt Arcane.Crypto as Crypto
adopt Arcane.Seguranca as Seg
adopt Arcane.Bytes as Bytes

// CONFIDENCIALIDADE: o texto cifrado nao revela o conteudo.
// 'cifrar' e 'decifrar' trabalham em Bytes, e nao em texto.
cofre := Crypto.cifrar("saldo: 12345", "uma senha forte")
assert "12345" not in Crypto.hex_encode(cofre)

// INTEGRIDADE: a etiqueta do AEAD vem de graca junto com a cifra.
// Senha errada — ou um byte trocado — e RECUSA, e nao "texto
// ilegivel": e a diferenca entre saber e adivinhar.
assert Bytes.para_texto(Crypto.decifrar(cofre, "uma senha forte")) is "saldo: 12345"

monitor:
    Crypto.decifrar(cofre, "senha errada")
    assert no
handle Error as e:
    out "recusado: a etiqueta nao fecha"

// DISPONIBILIDADE: o limite e o que impede um cliente derrubar todos.
limite := Seg.limitador(100, periodo := 60.0)
assert limite.permitir("cliente-7")

adopt Arcane.Seguranca as Seg

// Um corpo de pedido inteiro indo para o log — o caminho mais
// comum de um vazamento, e o mais inocente.
corpo := """{"cpf": "123.456.789-09", "email": "ana.silva@exemplo.com",
 "cartao": "4111111111111111", "pedido": 1234567890123456}"""

limpo := Seg.mascarar_pii(corpo)

assert "123.456.789-09" not in limpo
assert "ana.silva" not in limpo
assert "4111111111111111" not in limpo

// O numero do pedido NAO passa no Luhn, entao continua legivel:
// sem isso, todo numero de 16 digitos virava cartao e o relatorio
// ficava ilegivel — um falso positivo que faz desligar a mascara.
assert "1234567890123456" in limpo

out limpo