Declarações de atestado

Para saber mais sobre como usar declarações de atestado, consulte Criar uma política de atestado.

As declarações disponíveis para criar uma política de atestado são detalhadas na tabela a seguir. As políticas podem validar declarações feitas pela imagem do Confidential Space, pelo contêiner de carga de trabalho e pela instância de VM.

Declarações de imagem

Declaração Tipo Descrição

assertion.dbgstat

Interage com:

 Enumeração

Verifica se a imagem do Confidential Space é a versão de depuração ou produção.

Os valores válidos são os seguintes:

  • enable: verifique se a imagem de depuração está sendo usada.
  • disabled-since-boot: verifique se a imagem de produção está sendo usada.
Exemplos

O código a seguir verifica se a versão de depuração da imagem do Confidential Space está sendo usada: 

assertion.dbgstat == "enable"

O código a seguir verifica se a versão de produção da imagem do Confidential Space está sendo usada: 

assertion.dbgstat == "disabled-since-boot"
assertion.submods.confidential_space.support_attributes Matriz de strings

Verifica se a versão de segurança do TEE é uma imagem de produção do Confidential Space. As imagens de depuração do Confidential Space não têm um atributo de suporte definido.

A tabela a seguir descreve os atributos de suporte encontrados nas imagens de produção do Confidential Space.

Atributo de suporte Descrição

LATEST

As imagens LATEST também têm os seguintes atributos de suporte:

  • STABLE
  • USABLE

Ciclo de vida da imagem: aproximadamente um mês. Depois disso, o atributo de suporte LATEST é removido.

Essa é a versão mais recente da imagem do Confidential Space, além de ser suportada e monitorada em busca de vulnerabilidades.

Para cargas de trabalho de longa duração, recomendamos que você não especifique LATEST como parte da política de atestado. Isos ocorre porque a imagem do Confidential Space pode ser atualizada enquanto a carga de trabalho está em execução, fazendo com que a imagem do Confidential Space que você está usando não seja mais LATEST e fazendo com que a carga de trabalho falhe na atestação quando o token padrão do Confidential Space for atualizado em seguida.

STABLE

As imagens STABLE também têm os seguintes atributos de suporte:

  • USABLE

Ciclo de vida da imagem: aproximadamente seis meses. A partir de 1º de abril de 2027, o atributo de suporte STABLE será removido após o término da vida útil da imagem.

As imagens com o atributo STABLE são compatíveis e monitoradas em busca de vulnerabilidades por um período de seis meses. Recomendamos que você escreva uma política de atestado com base no atributo STABLE.

Em casos raros, o atributo STABLE pode ser removido durante o período de suporte normal de seis meses, como quando vulnerabilidades críticas são descobertas.

USABLE

As imagens com apenas o atributo USABLE ainda estão disponíveis para uso, mas são consideradas descontinuadas. As imagens descontinuadas não são compatíveis e têm mais de seis meses. Use por sua conta e risco.

As imagens USABLE têm uma propriedade deprecated.deprecated. O valor é o carimbo de data/hora de quando a imagem será descontinuada. As propriedades de uma imagem podem ser visualizadas com o comando gcloud compute images describe ou com o método REST images.get. Exemplo: 

gcloud compute images describe confidential-space-240800 \
    --format=json \
    --project=confidential-space-images
EXPERIMENTAL

As imagens que têm apenas esse atributo usam recursos em fase de pré-lançamento. As imagens EXPERIMENTAL são apenas para fins de teste e nunca devem ser usadas na produção.

Uma imagem EXPERIMENTAL nunca tem os atributos LATEST, STABLE ou USABLE.

Recomendamos manter a imagem do Confidential Space atualizada. Para saber como atualizar sua imagem do Confidential Space, consulte Atualizar imagens do Confidential Space.

Exemplo

O código a seguir verifica se uma versão estável da imagem do Confidential Space está sendo usada: 

"STABLE" in assertion.submods.confidential_space.support_attributes
assertion.swname Enumeração

Verifica o software em execução na entidade de atestado. O valor sempre é CONFIDENTIAL_SPACE.

Exemplo
assertion.swname == "CONFIDENTIAL_SPACE"
assertion.swversion Matriz de strings

Verifica a versão do software da imagem do Confidential Space. Recomendamos o uso de assertion.submods.confidential_space.support_attributes para acessar a versão mais recente de uma imagem.

Exemplo
int(assertion.swversion[0]) == 230103

Declarações de contêiner

Declaração Tipo Descrição

assertion.submods.container.cmd_override

Interage com:

  • Autor da carga de trabalho: a política de lançamento allow_cmd_override.
  • Operador de carga de trabalho: a variável de metadados tee-cmd.
Matriz de strings

Verifica os comandos e parâmetros do CMD usados na imagem da carga de trabalho.

Exemplos

O código a seguir verifica se o CMD da imagem da carga de trabalho não foi substituído: 

size(assertion.submods.container.cmd_override) == 0

O código a seguir verifica se program é o único conteúdo nas substituições do CMD: 

assertion.submods.container.cmd_override == ['program']

assertion.submods.container.env

Interage com:

 objeto JSON

Verifica se as variáveis de ambiente e os respectivos valores foram transmitidos explicitamente para o contêiner.

Exemplo

O código a seguir verifica se a variável de ambiente example-env-1 está definida como value-1 e example-env-2 está definida como value-2. 

assertion.submods.container.env == {"example-env-1": "value-1", "example-env-2": "value-2"}

assertion.submods.container.env_override

Interage com:

 String

Verifica se o operador de carga de trabalho substituiu as variáveis de ambiente no contêiner.

Exemplos

O código a seguir verifica se o operador de carga de trabalho não substituiu a variável de ambiente example: 

!has(assertion.submods.container.env_override.example)

O código a seguir verifica se o operador da carga de trabalho não substituiu nenhuma variável de ambiente: 

size(assertion.submods.container.env_override) == 0
assertion.submods.container.image_digest String

Verifica o resumo da imagem do contêiner da carga de trabalho. Especificar essa condição permite que várias partes concordem com uma carga de trabalho autorizada que tenha permissão para acessar os dados delas.

Exemplo
assertion.submods.container.image_digest == "sha256:837ccb607e312b170fac7383d7ccfd61fa5072793f19a25e75fbacb56539b86b"
assertion.submods.container.image_id String

Verifica o ID da imagem do contêiner da carga de trabalho.

Exemplo
assertion.submods.container.image_id == "sha256:652a44b0e911271ba07cf2915cd700fdfa50abd62a98f87a57fdebc59843d93f"

assertion.submods.container.image_reference

Interage com:

 String

Verifica o local do contêiner de carga de trabalho em execução sobre a imagem do Confidential Space.

Exemplo
assertion.submods.container.image_reference == "us-docker.pkg.dev/PROJECT_ID/WORKLOAD_CONTAINER:latest"

assertion.submods.container.image_signatures

Interage com:

 objeto JSON

Verifica se a imagem tem uma determinada assinatura ou se foi assinada por uma chave pública e um algoritmo de assinatura. Especificar essa condição permite que várias partes concordem com uma carga de trabalho autorizada que tenha permissão para acessar os dados delas.

A declaração pode incluir os seguintes elementos:

  • key_id: a impressão digital hexadecimal da chave pública. Para encontrar a impressão digital, execute o seguinte comando: 

    openssl pkey -pubin -in public_key.pem -outform DER | openssl sha256

    Em que public_key.pem é sua chave pública no formato PEM.

  • signature: a assinatura de um payload associado ao contêiner assinado e que segue o formato de assinatura simples.

  • signature_algorithm: o algoritmo usado para assinar a chave. Opções:

    • RSASSA_PSS_SHA256 (RSASSA-PSS com um resumo SHA-256)
    • RSASSA_PKCS1V15_SHA256 (RSASSA-PKCS1 v1_5 com um resumo SHA-256)
    • ECDSA_P256_SHA256 (ECDSA na curva P-256 com um resumo SHA-256)
Exemplo
['ECDSA_P256_SHA256:PUBLIC_KEY_FINGERPRINT'].exists(fingerprint, fingerprint in assertion.submods.container.image_signatures.map(sig, sig.signature_algorithm+':'+sig.key_id))

assertion.submods.container.restart_policy

Interage com:

 Enumeração

Verifica a política de reinicialização do inicializador do contêiner para quando a carga de trabalho é interrompida.

Os valores válidos são os seguintes:

  • Never (padrão)
  • Always
  • OnFailure
Exemplo
assertion.submods.container.restart_policy == "Never"

Declarações de VM

Declaração Tipo Descrição

assertion.google_service_accounts

Interage com:

 Matriz de strings

Verifica se uma conta de serviço especificada está conectada à VM que está executando a carga de trabalho ou se foi listada usando tee-impersonate-service-accounts nos metadados da VM.

Exemplo
workload-service-account@my-project.iam.gserviceaccount.com in assertion.google_service_accounts
assertion.hwmodel String

Verifica a tecnologia de Computação Confidencial. As plataformas compatíveis são as seguintes:

  • GCP_AMD_SEV
  • INTEL_TDX
Exemplo
assertion.hwmodel == "GCP_AMD_SEV"

assertion.submods.confidential_space.monitoring_enabled

Interage com:

 Booleano

Verifica o estado de monitoramento na entidade de atestado.

Exemplo
assertion.submods.confidential_space.monitoring_enabled.memory == true
assertion.submods.gce.instance_id String

Verifica o ID da instância de VM.

Exemplo
assertion.submods.gce.instance_id == "0000000000000000000"
assertion.submods.gce.instance_name String

Verifica o nome da instância de VM.

Exemplo
assertion.submods.gce.instance_name == "workload-vm"
assertion.submods.gce.project_id String

Verifica se a VM está executando um projeto do Google Cloud com o ID do projeto especificado.

Exemplo
assertion.submods.gce.project_id == "project-id"
assertion.submods.gce.project_number String

Verifica se a VM está em execução em um projeto do Google Cloud com o número de projeto especificado.

Exemplo
assertion.submods.gce.project_number == "00000000000"

assertion.submods.gce.zone

Interage com:

  • Operador de carga de trabalho: o valor --zone.
String

Verifica se a VM está em execução na zona especificada.

Exemplo
assertion.submods.gce.zone == "us-central1-a"

assertion.submods.nvidia_gpu.cc_feature

Interage com:

 Enumeração

Verifica os recursos de Computação Confidencial compatíveis com uma GPU NVIDIA. Somente o modo de passagem de GPU única (SPT, na sigla em inglês) é compatível no Confidential Space, então o valor é sempre SPT.

Para mais informações sobre o suporte à computação confidencial da NVIDIA, consulte NVIDIA Trusted Computing Solutions (PDF).

Exemplo
assertion.submods.nvidia_gpu.cc_feature == "SPT"

assertion.submods.nvidia_gpu.cc_mode

Interage com:

 Enumeração

Verifica o status do driver de computação confidencial da NVIDIA. Os valores válidos são os seguintes:

  • OFF: nenhum dos recursos de Computação Confidencial da NVIDIA está ativo.
  • ON: o hardware, o firmware e o software da NVIDIA H100 ativaram totalmente os recursos de computação confidencial.
  • DEVTOOLS: a GPU está em um modo de computação confidencial parcial que corresponde aos fluxos de trabalho do modo ON, mas desativa as proteções de segurança.
Exemplo
assertion.submods.nvidia_gpu.cc_mode == "ON"

assertion.submods.nvidia_gpu.gpus

Interage com:

 Matriz de objetos

Verifica as declarações de cada GPU NVIDIA atestada. O Confidential Space aceita apenas uma declaração de GPU.

Um objeto gpus é semelhante ao seguinte:

{
  "hwmodel": "GCP_NVIDIA_H100",
  "ueid": "490457405999046854973671575630853621547794591064",
  "l4_serial_number": "1216669666319372030078",
  "driver_version": "570.00",
  "vbios_version": "96.00.9F.00.01"
}
Exemplos

O código a seguir verifica se o primeiro modelo de hardware de GPU é uma NVIDIA H100 em execução no Google Cloud: 

assertion.submods.nvidia_gpu.gpus[0].hwmodel == "GCP_NVIDIA_H100"

O código a seguir verifica se a declaração de atestado tem declarações relacionadas à GPU: 

has(assertion.submods.nvidia_gpu.gpus)