클래스 ara::crypto::cryp::VerifierPublicCtx

사용법 및 의미론

Cancel() 메서드는 이전에 Start()에 의해 시작되었으나 아직 완료되지 않은 진행 중인 스트리밍 작업을 중단합니다 [SWS_CRYPT_50023]. 이 메서드는 헤더 ara/crypto/cryp/verifier_public_ctx.h에 컨텍스트 ara::crypto::cryp::VerifierPublicCtx의 순수 가상 메서드로 정의되어 있습니다 [SWS_CRYPT_50023]. 호출은 동기적으로 매개변수 없이 수행됩니다. 반환값으로는 ara::core::Result<void>이(가) 사용되며, 이는 성공 시 비어 있고 작업의 성공적인 중단을 확인합니다 [SWS_CRYPT_50023].

오류 처리

Start() 메서드 호출을 통해 데이터 처리가 아직 시작되지 않은 경우 중단 작업이 실패합니다. 이 시나리오에서 함수는 롤백 시맨틱을 보장하면서 오류 코드 ara::crypto::CryptoErrc::kProcessingNotStarted을(를) 포함하는 오류 결과를 반환합니다 [SWS_CRYPT_50023].

동시성 및 제약사항

사양에서는 이 메서드를 noexcept 표시와 함께 스레드 안전(thread-safe) 및 예외 안전(exception safe)으로 지정합니다 [SWS_CRYPT_50023]. 해석: 성공적으로 중단된 후에는 컨텍스트가 처리 시작 전의 초기 상태로 되돌아가 새로운 스트리밍 작업을 시작할 수 있을 것으로 추정됩니다. 질문 Q-d80d09c8a8311bbc (열림)

crypt 모듈 내 상호 작용

동일한 시그니처와 오류 처리를 갖춘 이 통일된 중단 패턴은 crypt 모듈의 모든 스트리밍 컨텍스트에 일관되게 적용됩니다:

• 메시지 인증 코드용 MessageAuthnCodeCtx [SWS_CRYPT_50027],
• 디지털 서명 생성용 SignerPrivateCtx [SWS_CRYPT_50041],
• 대칭 암호화 및 복호화용 SymmetricCipherCtx [SWS_CRYPT_50046],
• 암호화 해시 작업용 HashFunctionCtx [SWS_CRYPT_50058],
• 비대칭 복호화용 DecryptorPrivateCtx [SWS_CRYPT_50069],
• 인증된 암호화용 AuthCipherCtx [SWS_CRYPT_50077] 및
• 비대칭 암호화용 EncryptorPublicCtx [SWS_CRYPT_50089].

ara::crypto::cryp::VerifierPublicCtx의 메서드 Finish은 서명 검증을 완료하고 검증 결과를 반환합니다 [SWS_CRYPT_50022]. 이 메서드는 입력 버퍼 signature(ReadOnlyMemRegion 형식)을 통해 검증할 서명을, signatureFormat(FormatId 형식)를 통해 해당 형식을 전달받습니다 [SWS_CRYPT_50022]. 호출은 동기적으로 수행되며 사양에 따라 thread-safe 및 exception safe로 선언되어 있습니다 [SWS_CRYPT_50022].

반환값으로 ara::core::Result<bool>이 사용됩니다 [SWS_CRYPT_50022]: 서명 검증에 성공하면 결과에 true이(가) 포함되고, 서명이 내용상 유효하지 않으면 false이(가) 포함됩니다. 반면 처리 오류가 발생하는 경우 해당 오류 코드가 반환됩니다 [SWS_CRYPT_50022]:

• ara::crypto::CryptoErrc::kProcessingNotStarted: 작업이 이전에 성공적으로 시작되지 않았습니다(롤백 시맨틱) [SWS_CRYPT_50022].
• ara::crypto::CryptoErrc::kInvalidInputSize: signature의 버퍼 크기가 유효하지 않습니다(롤백 시맨틱) [SWS_CRYPT_50022].
• ara::crypto::CryptoErrc::kUnsupportedFormat: 지정된 형식 signatureFormat이(가) 지원되지 않습니다(롤백 시맨틱) [SWS_CRYPT_50022].
• ara::crypto::CryptoErrc::kInvalidArgument: 서명이 지정된 형식과 일치하지 않습니다(롤백 시맨틱) [SWS_CRYPT_50022].

암호화 흐름에서 이 함수는 서명을 출력 버퍼에 기록하는 ara::crypto::cryp::SignerPrivateCtx::Finish을 통한 서명 생성의 상대 역할을 합니다 [SWS_CRYPT_50040]. 보고되는 모든 오류는 롤백 시맨틱을 가지므로 [SWS_CRYPT_50022] 실패 시에도 컨텍스트 상태가 일관되게 유지됩니다.

메서드 SetKey은 서명 검증을 위해 특정 공개 키를 사용하도록 VerifierPublicCtx의 인스턴스를 구성합니다([SWS_CRYPT_24115]). 매개변수 key을 통해 PublicKey::Sptr 타입의 포인터가 전달됩니다. 호출은 동기적으로 수행되며, 성공 시 비어 있거나 특정 오류 코드를 캡슐화하는 ara::core::Result<void>를 반환합니다.

이 연산은 사양에 따라 스레드 안전하고 예외 안전(exception safe)하도록 설계되었습니다([SWS_CRYPT_24115]). 키 바인딩 중에 오류가 발생하면 모든 오류 사례에 대해 롤백 시맨틱이 적용되어 컨텍스트가 일관된 상태로 유지됩니다:

• CryptoErrc::kIncompatibleObject: 전달된 키가 서명 검증 컨텍스트와 호환되지 않습니다([SWS_CRYPT_24115]).
• CryptoErrc::kUsageViolation: 키의 권한이 서명 검증을 허용하지 않습니다(서명 검증용 사용 플래그 누락)([SWS_CRYPT_24115]).
• ara::crypto::CryptoErrc::kUnsupported: 컨텍스트 구현이 KeySlot을 통한 키 바인딩만을 지원합니다([SWS_CRYPT_24115]).

암호화 워크플로에서 SetKey은 SignerPrivateCtx::SetKey([SWS_CRYPT_23515])의 공개 대응부를 형성합니다. 컨텍스트가 PublicKey::Sptr을 통한 직접적인 키 전달을 허용하지 않거나 보안 슬롯에서 키가 관리되는 경우, 대안으로 KeySlot::Sptr를 사용하는 오버로드를 사용할 수 있습니다([SWS_CRYPT_50018]).

사용

ara::crypto::cryp::VerifierPublicCtx 클래스의 SetKey 메서드는 전달된 KeySlot에 저장된 키를 사용하도록 검증 컨텍스트를 구성합니다[SWS_CRYPT_50018]. 키는 서명 검증이 시작되는 시점에 참조됩니다[SWS_CRYPT_50018].

매개변수로는 공개 키를 포함하는 KeySlot::Sptr 유형의 스마트 포인터 keySlot이 사용됩니다[SWS_CRYPT_50018]. 이 함수는 동기식으로 작동하며, 성공적인 완료 또는 오류를 나타내기 위해 ara::core::Result<void>을 반환합니다[SWS_CRYPT_50018].

오류 처리 및 시맨틱

이 작업은 noexcept 및 exception safe로 명시되어 있습니다[SWS_CRYPT_50018]. 오류가 발생하면 롤백 시맨틱이 적용됩니다[SWS_CRYPT_50018]:

• ara::crypto::CryptoErrc::kIncompatibleObject: 제공된 KeySlot이(가) 이 컨텍스트와 호환되지 않습니다[SWS_CRYPT_50018].
• ara::crypto::CryptoErrc::kUnsupported: 컨텍스트가 PublicKey의 직접 설정만을 지원합니다[SWS_CRYPT_50018].

동시성 및 상호 작용

이 메서드는 thread-safe로 명시되어 있습니다[SWS_CRYPT_50018]. KeySlot에 대한 대안으로 VerifierPublicCtx은(는) PublicKey을(를) 직접 설정할 수 있는 오버로드를 제공합니다[SWS_CRYPT_24115]. KeySlot을(를) 통한 상응하는 키 구성은 SignerPrivateCtx [SWS_CRYPT_50036] 또는 MessageAuthnCodeCtx [SWS_CRYPT_50026]와(과) 같은 다른 컨텍스트에도 유사하게 존재합니다.

사용

인터페이스 ara::crypto::cryp::VerifierPublicCtx([SWS_CRYPT_50019])의 동기 메서드 Start()는 스트리밍 작동에서 새로운 암호화 서명 검증을 위해 컨텍스트를 초기화합니다. 이 함수는 전달 매개변수를 받지 않으며, noexcept로 선언되어 있고 성공 시 비어 있는 ara::core::Result<void>를 반환합니다.

오류 처리 및 롤백

실행 중 오류가 발생하면 롤백 시맨틱([SWS_CRYPT_50019])이 적용되어 컨텍스트가 일관된 상태로 유지됩니다. 가능한 오류 원인은 다음과 같습니다:

• UninitializedContext: 컨텍스트에 사전에 암호화 키가 할당되지 않았습니다.
• ara::crypto::CryptoErrc::kUsageViolation: 할당된 키가 서명 검증(kAllowSig Verification)용으로 활성화되지 않았습니다.
• ara::crypto::CryptoErrc::kEmptyKeySlot: 검증을 위해 구성된 KeySlot이 현재 비어 있습니다.
• ara::crypto::CryptoErrc::kUnsupported: 컨텍스트가 스트리밍을 지원하지 않거나 해당 절차에서 컨텍스트 값이 반드시 필요합니다.
• ara::crypto::CryptoErrc::kBusyResource: 작업에 필요한 리소스가 현재 사용 중입니다.

동시성 및 상호 작용

명세에서는 이 메서드를 스레드 안전([SWS_CRYPT_50019])으로 명시하고 있지만, 검증이 진행 중인 동안 동일한 컨텍스트 인스턴스에서 병렬 호출이 발생하면 기존 작업이 초기화되거나 사용 중인 리소스로 인해 실패할 가능성이 높습니다. 질문 Q-af5e08ff9d905a29 (열림)

초기화가 성공한 후에는 메시지 부분이 Update()([SWS_CRYPT_50021])을 통해 순차적으로 전달됩니다. 진행 중인 스트리밍 작업은 필요한 경우 Cancel()([SWS_CRYPT_50023])를 통해 조기에 중단할 수 있습니다. 알고리즘에서 컨텍스트 값이 반드시 필요한 경우에는 오버로드된 함수 Start(ReadOnlyMemRegion context)([SWS_CRYPT_50020])를 대신 호출해야 합니다.

사용

Start 함수는 [SWS_CRYPT_50020]에 따라 새로운 서명 검증을 위해 ara::crypto::cryp::VerifierPublicCtx 클래스의 검증 컨텍스트를 초기화합니다. 입력 매개변수로 애플리케이션별 컨텍스트 값을 제공하는 ReadOnlyMemRegion 유형의 context을(를) 받습니다. 컨텍스트 데이터가 없는 대안으로 오버로드 [SWS_CRYPT_50019]이(가) 존재합니다. 반환값은 ara::core::Result<void>입니다. 해석: 콜백이나 미래(future) 객체가 정의되어 있지 않으므로 호출은 순수하게 동기식으로 처리될 것으로 추정됩니다. 질문 Q-4e10cdb1a4343a3a (열림)

오류 처리

오류 발생 시 함수는 ara::crypto::CryptoErrc의 적절한 오류 코드가 포함된 ara::core::Result을(를) 반환하며, 이때 롤백 시맨틱이 명시되어 있습니다 [SWS_CRYPT_50020]:

• kUninitializedContext: 컨텍스트가 키 할당을 통해 아직 초기화되지 않았습니다.
• kEmptyKeySlot: 구성된 KeySlot이 현재 비어 있습니다.
• kUsageViolation: 할당된 키의 허용된 사용 범위에 kAllowSigVerification이(가) 포함되지 않습니다.
• kInvalidInputSize: 전달된 컨텍스트 값의 버퍼 크기가 알고리즘에 유효하지 않습니다.
• kUnsupported: 컨텍스트가 스트리밍을 지원하지 않거나 알고리즘이 컨텍스트 값 설정을 지원하지 않습니다.
• kBusyResource: 필요한 리소스가 사용 중입니다.

동시성 및 제약사항

[SWS_CRYPT_50020]에 따라 해당 메서드는 thread-safe 및 exception-safe로 분류됩니다. 예외를 발생시키지 않습니다(noexcept).

상호 작용

Start이(가) 성공적으로 실행된 후, Update의 반복 호출을 통해 입력 메시지를 점진적으로 전송할 수 있습니다 [SWS_CRYPT_50021]. Start을(를) 통해 시작된 진행 중인 스트리밍 작업은 필요한 경우 Cancel을(를) 통해 조기 중단할 수 있습니다 [SWS_CRYPT_50023].

사용

메서드 Update()은(는) 서명 검증 컨텍스트를 입력 메시지의 추가 부분으로 점진적으로 업데이트하는 데 사용됩니다 [SWS_CRYPT_50021]. ReadOnlyMemRegion 타입의 메모리 영역 data이(가) 매개변수로 전달됩니다. 이 함수는 ara::core::Result<void>을(를) 반환합니다. Interpretation: 이 반환 타입으로 보아 처리가 동기식으로 수행될 것으로 추정됩니다. 질문 Q-f98391030b3b4684 (열림)

오류 처리

오류 발생 시 롤백 시맨틱을 갖는 해당 오류 코드가 반환됩니다 [SWS_CRYPT_50021]:

• ara::crypto::CryptoErrc::kProcessingNotStarted: 메서드 Start()의 호출을 통해 서명 검증이 사전에 시작되지 않았습니다 [SWS_CRYPT_50021].
• ara::crypto::CryptoErrc::kInvalidInputSize: data에서 제공된 데이터의 크기가 지원되지 않습니다 [SWS_CRYPT_50021].

동시성 및 상호 작용

해당 연산은 사양에서 thread-safe 및 exception safe(으)로 분류됩니다 [SWS_CRYPT_50021]. 호출 전 반드시 Start()을(를) 통한 초기화가 수행되어야 합니다 [SWS_CRYPT_50021]. kInvalidInputSize이(가) 발생하는 것을 방지하기 위해 동일한 컨텍스트의 메서드 GetMaximumChunkSize()을(를) 통해 개별 호출에 대한 최대 허용 버퍼 크기를 조회할 수 있습니다 [SWS_CRYPT_50025]. 메시지 단위 서명 생성에 대한 상호보완적 상대 항목은 SignerPrivateCtx의 Update()입니다 [SWS_CRYPT_50039].

사용

컨텍스트 ara::crypto::cryp::VerifierPublicCtx의 Verify 메서드는 한 번의 호출로 제공된 메시지의 서명을 검증하는 데 사용됩니다 [SWS_CRYPT_24112]. 매개변수로 메시지 버퍼 message, 서명 signature 및 형식 signatureFormat가 전달됩니다 [SWS_CRYPT_24112]. 반환값 ara::core::Result<bool>에는 성공적인 검증 시 true, 불일치 시 false 또는 오류 코드가 포함됩니다 [SWS_CRYPT_24112]. 해석: 동기 결과 타입으로 인해 검증 프로세스는 호출 스레드에서 블로킹 방식으로 실행될 것으로 추정됩니다. 질문 Q-671054c6e2b581c6 (열림)

오류 처리 및 동시성

이 함수는 exception safe 및 thread-safe로 명세되어 있습니다 [SWS_CRYPT_24112]. 오류 발생 시 오류 코드에 대해 롤백 시맨틱이 적용됩니다 [SWS_CRYPT_24112]. 가능한 오류 원인은 다음과 같습니다:

• 컨텍스트가 키로 초기화되지 않은 경우 UninitializedContext [SWS_CRYPT_24112],
• 키 슬롯이 비어 있는 경우 ara::crypto::CryptoErrc::kEmptyKeySlot, 또는 키에 kAllowSig Verification 권한이 없는 경우 kUsageViolation [SWS_CRYPT_24112],
• 버퍼 크기가 유효하지 않은 경우 ara::crypto::CryptoErrc::kInvalidInputSize [SWS_CRYPT_24112],
• 서명 형식이 잘못되었거나 호환되지 않는 경우 ara::crypto::CryptoErrc::kUnsupportedFormat 또는 kInvalidArgument [SWS_CRYPT_24112],
• 필요한 리소스가 사용 중인 경우 ara::crypto::CryptoErrc::kBusyResource [SWS_CRYPT_24112].

상호 작용

단일 호출에 대한 최대 버퍼 크기는 GetMaximumChunkSize()을 통해 조회할 수 있습니다 [SWS_CRYPT_50025]. 알고리즘이 컨텍스트 값을 반드시 요구하는 경우 ara::crypto::CryptoErrc::kUnsupported가 반환됩니다 [SWS_CRYPT_24112]. 이 경우에는 추가 context 매개변수가 있는 오버로드를 선택해야 합니다 [SWS_CRYPT_50024]. 메시지 인증 코드 검증을 위해 구분되는 ara::crypto::cryp::MessageAuthnCodeCtx::Verify가 존재합니다 [SWS_CRYPT_50031].

동기식 메서드 Verify은(는) 단일 호출([SWS_CRYPT_50024])에서 사용자 정의 컨텍스트 값을 고려하여 전달된 메시지의 디지털 서명을 검증합니다. 입력 매개변수로 이 메서드는 각각 ReadOnlyMemRegion 형태의 버퍼 message, context, signature과 signatureFormat을(를) 통한 서명 형식을 기대합니다([SWS_CRYPT_50024]). 반환값은 ara::core::Result<bool>입니다. 이는 성공적인 검증 시 true, 서명이 올바르지 않은 경우 false, 또는 해당 오류 코드를 포함합니다([SWS_CRYPT_50024]).

오류 발생 시 롤백 시맨틱이 적용됩니다([SWS_CRYPT_50024]). 특정 오류 코드는 다음을 포함합니다:

• 검증 컨텍스트가 아직 키 값으로 초기화되지 않은 경우 UninitializedContext([SWS_CRYPT_50024]),
• 허용되지 않는 버퍼 크기인 경우 ara::crypto::CryptoErrc::kInvalidInputSize([SWS_CRYPT_50024]),
• 선택된 서명 알고리즘이 컨텍스트 값 지정을 지원하지 않는 경우 ara::crypto::CryptoErrc::kUnsupported([SWS_CRYPT_50024]),
• 지정된 서명 형식이 지원되지 않거나 서명이 해당 형식과 일치하지 않는 경우 ara::crypto::CryptoErrc::kUnsupportedFormat 또는 ara::crypto::CryptoErrc::kInvalidArgument([SWS_CRYPT_50024]),
• 허용된 키 사용에 kAllowSigVerification이(가) 포함되지 않는 경우 ara::crypto::CryptoErrc::kUsageViolation, 그리고 ara::crypto::CryptoErrc::kEmptyKeySlot 및 ara::crypto::CryptoErrc::kBusyResource([SWS_CRYPT_50024]).

이 메서드는 const noexcept(으)로 선언되어 있고 예외 안전한 것으로 간주되며 thread-safe(으)로 지정되어 있습니다([SWS_CRYPT_50024]). 컨텍스트와의 상호 작용에서 개별 호출을 위한 최대 버퍼 크기는 GetMaximumChunkSize을(를) 통해 확인할 수 있습니다([SWS_CRYPT_50025]). 컨텍스트가 없는 검증을 위해서는 Verify의 대안적 오버로드가 제공됩니다([SWS_CRYPT_24112]).