// docs

Perfis

O que é um perfil

Um perfil é um utilizador Linux com o seu /home cifrado, guardado num disco a que o RedderOS chama cofre. Ao contrário de um sistema normal, o RedderOS não guarda:

nenhuma lista de utilizadores ou perfis;
nenhum hash nem verificador da frase;
nenhum cabeçalho que diga que o disco está cifrado.

Sem o nome e a frase corretos, o cofre não se distingue de dados aleatórios. Ninguém consegue saber quantos perfis existem nele, nem se existe algum.

O cofre

Um cofre é um disco ou uma partição inteira:

É preenchido com dados aleatórios (AES-256-CTR com uma chave que é descartada de imediato).
O primeiro MiB é uma zona aleatória; os seus 32 primeiros bytes servem de sal.
O resto é dividido em 8 ranhuras do mesmo tamanho, cada uma com pelo menos 32 MiB. Por isso, o cofre precisa de, no mínimo, 257 MB.

O número de ranhuras é fixo e não é guardado no disco: guardá-lo denunciaria que ali existe um cofre.

Como é cifrado

Peça	Detalhe
Derivação da chave	Argon2id: 3 passagens, 256 MiB de memória, 2 threads. Chave de 64 bytes.
Entrada	A frase, com um sal que resulta do sal do disco e do nome: o nome faz parte do segredo.
Cifragem	dm-crypt em modo plain, AES-XTS-512 (AES-256 em modo XTS), sem cabeçalho LUKS.
Conteúdo	Um sistema de ficheiros ext4 com a etiqueta `redderprof`, só visível depois de decifrar.
Montagem	`/home/<nombre>` com `nodev`, `nosuid` e `noatime`.

Para abrir um perfil, o sistema deriva a chave e testa todas as ranhuras de todos os discos. Uma ranhura é sua se, ao decifrá-la, aparecer um ext4 com essa etiqueta. São sempre testadas todas, mesmo que a sua seja a primeira, para que o tempo de resposta não revele nada.

Ao abri-lo, é criado na RAM um utilizador com esse nome (o seu UID é calculado a partir do nome, para que as permissões dos ficheiros coincidam em cada arranque). Ao fechá-lo, o utilizador é apagado do sistema.

A partir do ecrã de entrada

É a forma habitual: Criar perfil… prepara o cofre se for preciso, cria o perfil e entra nele. Os passos estão em Primeiros passos.

A partir do terminal

O redder-profile precisa de root. No arranque normal, anon não tem sudo, por isso é preciso arrancar com a entrada Administrador temporário (ver Menu de arranque).

sudo redder-profile disks                    # discos que pueden ser bóveda
sudo redder-profile init /dev/sdb            # prepara la bóveda (BORRA el disco)
sudo redder-profile create /dev/sdb ana 5    # crea el perfil «ana» en el hueco 5
sudo redder-profile status                   # perfiles abiertos
sudo redder-profile close ana                # cierra el perfil
sudo redder-profile open ana                 # lo abre de nuevo

O init pede para escrever SÍ para confirmar a eliminação.
O create pede a frase duas vezes e confirmação antes de substituir a ranhura. Se não indicar a ranhura, escolhe uma ao acaso.
O open não pede disco: procura em todos.

A referência completa está em Comandos.

Que discos são propostos

São considerados candidatos os discos e partições com pelo menos 64 MiB em que se pode escrever, exceto a pen USB a partir da qual o RedderOS arrancou e qualquer imagem ISO. Para serem cofre, além disso, cada uma das 8 ranhuras tem de ter pelo menos 32 MiB.

Erros iguais de propósito

Se o nome não existir ou a frase estiver incorreta, a mensagem é a mesma: «No se ha podido abrir el perfil.» Uma mensagem diferente revelaria se um perfil existe.

Escolher nome e frase

Nome: começa por uma letra minúscula ou _ e tem até 32 caracteres (minúsculas, números, - e _). anon e root estão reservados.
Frase: pelo menos 12 caracteres. O Argon2id torna cada tentativa lenta, mas uma frase curta ou previsível acaba por cair. Use várias palavras ao acaso que não use em mais lado nenhum.

Se se esquecer da frase, não há recuperação: ninguém guarda uma cópia.

«Conhecimento zero», neste contexto

Aqui significa que quem tiver o disco não descobre nada sem a frase. Não é uma prova de conhecimento zero criptográfica: isso só faz sentido ao autenticar-se perante um servidor.