Serviço de autenticação

auth/
  src/
    senhas.df      forca, hash, conferencia
    contas.df      cadastro e login
    tokens.df      emitir e conferir
  tests/
    login_test.df

[project]
name = "auth"
version = "0.1.0"
description = "Autenticação"
entry = "src/main.df"
dataforge = ">=1.1"

[dependencies]

[scripts]
start = "run src/main.df"
test = "test tests/"

adopt Arcane.Crypto as Crypto

steady CHAVE := "troque-por-uma-variavel-de-ambiente"
contas := {}
falhas := {}

action cadastrar(email, senha):
    given len(senha) smaller 10:
        trigger "a senha precisa de pelo menos 10 caracteres"
    given email in contas:
        trigger "nao foi possivel cadastrar"
    contas[email] := Crypto.hash_password(senha)

// A MESMA mensagem para "nao existe" e "senha errada": a diferenca e
// exatamente o que quem ataca quer descobrir.
action entrar(email, senha, agora):
    f := falhas[email] ?? {"n": 0, "ate": 0}
    given agora smaller f["ate"]:
        yield {"ok": no, "motivo": "tente mais tarde"}
    guardada := contas[email] ?? void
    given guardada is void or not Crypto.verify_password(senha, guardada):
        n := f["n"] + 1
        // 1, 2, 4, 8... segundos a partir da terceira falha
        espera := 0 given n smaller 3 otherwise 2 ** (n - 3)
        falhas[email] := {"n": n, "ate": agora + espera}
        yield {"ok": no, "motivo": "email ou senha incorretos"}
    falhas[email] := {"n": 0, "ate": 0}
    yield {"ok": yes, "token": emitir(email, agora + 3600)}

action emitir(email, vence):
    carga := $"{email}|{vence}"
    yield $"{carga}|{Crypto.hmac(CHAVE, carga)}"

action conferir(token, agora):
    partes := token.split("|")
    given len(partes) is not 3:
        yield void
    carga := $"{partes[0]}|{partes[1]}"
    given not Crypto.hmac_verify(CHAVE, carga, partes[2]):
        yield void
    given int(partes[1]) smaller_eq agora:
        yield void
    yield partes[0]

cadastrar("ana@exemplo.com", "cavalo-bateria-grampo")
ok := entrar("ana@exemplo.com", "cavalo-bateria-grampo", 1000)
assert ok["ok"]
assert conferir(ok["token"], 1001) is "ana@exemplo.com"
assert conferir(ok["token"], 99999) is void
assert conferir(ok["token"].replace("ana", "eva"), 1001) is void

a := entrar("ana@exemplo.com", "errada", 2000)
b := entrar("ninguem@exemplo.com", "errada", 2000)
assert a["motivo"] is b["motivo"]

cycle i in range(0, 4):
    entrar("ana@exemplo.com", "errada", 3000)
assert entrar("ana@exemplo.com", "cavalo-bateria-grampo", 3000)["motivo"] is "tente mais tarde"
assert entrar("ana@exemplo.com", "cavalo-bateria-grampo", 3100)["ok"]
out "autenticacao verde"

adopt ../src/contas as C

crucible "login":
    trial "o token adulterado nao vale":
        C.cadastrar("bia@exemplo.com", "uma-senha-longa")
        t := C.entrar("bia@exemplo.com", "uma-senha-longa", 0)["token"]
        expect C.conferir(t + "x", 1) is void