classe apext::com::secoc::FVM

A função-membro apext::com::secoc::FVM::GetRxFreshness serve à camada SecOC para determinar o valor de frescor completo para mensagens recebidas [SWS_CM_11288]. Como parâmetros de entrada, a função espera o identificador SecOCFreshnessValueID, o valor de frescor truncado extraído da mensagem protegida no FVContainer de acordo com [SWS_CM_11286], bem como o contador SecOCAuthVerifyAttempts [SWS_CM_11288]. Esse contador inicia com o valor 0 na primeira tentativa de verificação e é incrementado a cada tentativa subsequente com falha da mesma mensagem [SWS_CM_11288].

O método é especificado como noexcept e seguro contra exceções (AUTOSAR_AP_SWS_CommunicationManagement §C.1.2.2.1.1 «GetRxFreshness»). Devido ao retorno direto de um ara::core::Result<FVContainer> sem tipo future, a chamada deve ser processada de modo síncrono bloqueante. Pergunta Q-2609cb9ffeb0d41d (aberta) Em caso de sucesso, o resultado contém o valor de frescor completo para a verificação MAC subsequente do autenticador [SWS_CM_11288]. Se o valor não puder ser fornecido, a função retorna o código de erro recuperável ComSecOcFvmErrc::kFVNotAvailable [SWS_CM_11288].

A determinação do valor de frescor é parte integrante do caminho de recepção do SecOC: A autenticação de mensagens ocorre fundamentalmente antes de verificações E2E posteriores [SWS_CM_11276] e é acoplada ao contador de tentativas de autenticação [SWS_CM_11277]. Requisitos específicos de reentrância ou thread safety não são definidos no padrão; o comportamento em chamadas paralelas deve, portanto, depender da implementação concreta do Freshness Value Manager. Pergunta Q-071e92f80c6e44db (aberta)

A função de biblioteca síncrona apext::com::secoc::FVM::GetTxFreshness ([SWS_CM_11289]) serve ao processamento de SecOC para obter o valor de frescor atual ao enviar mensagens protegidas por meio do Communication Management ([SWS_CM_11274], AUTOSAR_AP_SWS_CommunicationManagement p. 224 «SecOC secure channel sending»).

Utilização e contexto de chamada

A chamada é realizada por ara::com, desde que uma freshnessValueId esteja configurada para o respectivo elemento de Service Interface na configuração ([SWS_CM_11274]):

• Parâmetros: SecOCFreshnessValueID (tipo std::uint16_t) identifica o valor de frescor a ser solicitado ([SWS_CM_11289]).
• Valor de retorno: Um ara::core::Result<FVContainer> ([SWS_CM_11289]). Em caso de sucesso, este contém um apext::com::secoc::FVContainer ([SWS_CM_11286]), cujo valor de frescor é usado para o cálculo subsequente do autenticador ou MAC ([SWS_CM_11274]).
• Segurança contra exceções: A função é declarada como noexcept ([SWS_CM_11289]).

Tratamento de erros e condições de contorno

Se nenhum valor de frescor válido puder ser fornecido, a função retorna um ara::core::Result com o código de erro ComSecOcFvmErrc::kFVNotAvailable ("Freshness Value not available") com semântica de rollback ([SWS_CM_11289]). Notificações específicas para DET ou DEM não estão definidas para esta interface no padrão Adaptive.

Fluxo e concorrência

Dentro do procedimento de envio, a chamada está sujeita a uma ordem estrita ([SWS_CM_11274]):

1. Previamente, o ciclo de vida do Freshness Value Manager deve ser gerenciado por ara::com ([SWS_CM_11272]) e a instância deve ter sido inicializada via apext::com::secoc::FVM::Initialize ([SWS_CM_11273]).
2. No envio, GetTxFreshness ocorre posteriormente aos cálculos de proteção E2E ([SWS_CM_11274]).
3. Em seguida, são realizados o cálculo de MAC, truncações opcionais e a montagem da mensagem protegida ([SWS_CM_11274]).

A especificação é omissa quanto à reentrância; no entanto, presume-se que a implementação do FVM deva ser thread-safe ou reentrante caso fluxos de comunicação paralelos solicitem valores de frescor simultaneamente. Pergunta Q-a1d3e04b91b6c24d (aberta)

Utilização e contexto de chamada

A função de biblioteca síncrona Initialize dentro do escopo apext::com::secoc::FVM serve para a inicialização da implementação de plugin específica do fornecedor do Freshness Value Manager (FVM) para a comunicação relevante para a segurança via SecOC [SWS_CM_11290]. A declaração está disponível por meio do cabeçalho apext/com/secoc/fvm.h SWS CommunicationManagement §C.1.2.2.1.3 «Initialize».

A função não recebe parâmetros e declara a segurança contra exceções noexcept (exception safe) [SWS_CM_11290]. O gerenciamento de ciclo de vida do FVM é assumido obrigatoriamente pelo middleware de comunicação ara::com [SWS_CM_11272], que realiza a inicialização do plugin do FVM por meio da chamada explícita desta interface [SWS_CM_11273]. Interpretação: Para os desenvolvedores de aplicações não existe contexto de chamada direta, uma vez que a disponibilização é feita como plugin para a plataforma e o controle reside inteiramente em ara::com. Pergunta Q-5b5c8b1a42c3bd3a (aberta)

Tratamento de erros

O resultado da operação é comunicado por meio do tipo de retorno ara::core::Result<void> [SWS_CM_11290]:

• Sucesso: Em caso de inicialização bem-sucedida, o ara::core::Result contém um valor vazio (value_type é void) [SWS_CM_11290].
• Falha na inicialização: Se o Freshness Value Manager não pôde ser inicializado, é retornado um objeto de erro com o código de erro específico ComSecOcFvmErrc::kFVInitializeFailed; nesse caso, entram em ação semânticas de rollback para a manutenção de um estado definido [SWS_CM_11290].

Interação e ordem

A inicialização por meio de Initialize constitui o pré-requisito funcional para todos os outros serviços do FVM no sistema [SWS_CM_11273]. Somente após a conclusão bem-sucedida é que o ara::com pode, no âmbito de operações de envio do SecOC após o cálculo de E2E, acessar a interface apext::com::secoc::FVM::GetTxFreshness para obter valores de atualidade para atributos freshnessValueId configurados [SWS_CM_11274].

usar

O método síncrono apext::com::secoc::FVM::SetVerificationStatus é chamado pelo SecOC para relatar ao Freshness Value Manager (FVM) o resultado de uma verificação [SWS_CM_19999]. Ele é declarado por meio do cabeçalho apext/com/secoc/fvm.h e requer dois parâmetros AUTOSAR_AP_SWS_CommunicationManagement §C.1.2.2.1.4 «SetVerificationStatus»:

• secOCFreshnessValueID (std::uint16_t): Identificador único do valor de frescor.
• secOCVerificationStatus (VerificationStatus): Resultado da verificação para o identificador especificado.

Tratamento de erros e simultaneidade

A função é declarada como noexcept e considerada segura contra exceções (exception safe) [SWS_CM_19999]. O tipo de retorno ara::core::Result<void> sinaliza uma execução bem-sucedida por meio de um resultado vazio. Em caso de erro, o objeto Result contém um código de erro do tipo ara::com::ComErrc, embora a especificação não defina códigos de erro padronizados específicos [SWS_CM_19999].

Interação e status

A função acopla o SecOC e o FVM no gerenciamento de valores de frescor. Ela possui o status DRAFT AUTOSAR_AP_SWS_CommunicationManagement §C.1.2.2.1.4 «SetVerificationStatus». Interpretação: As informações de status transmitidas provavelmente são usadas internamente pelo FVM para atualizar estados de sincronização ou contagens dos valores de frescor. Pergunta Q-156ad8f991c99b7d (aberta)