software.amazon.cryptography.materialproviders.internaldafny.types

Interfaces

• IAwsCryptographicMaterialProvidersClient
• IBranchKeyIdSupplier
• IClientSupplier
• ICryptographicMaterialsCache
• ICryptographicMaterialsManager
• IKeyring

Classes

• __default
• _Companion_IAwsCryptographicMaterialProvidersClient
• _Companion_IBranchKeyIdSupplier
• _Companion_IClientSupplier
• _Companion_ICryptographicMaterialsCache
• _Companion_ICryptographicMaterialsManager
• _Companion_IKeyring
• _ExternBase___default
• AesWrappingAlg
• AesWrappingAlg_ALG__AES128__GCM__IV12__TAG16
• AesWrappingAlg_ALG__AES192__GCM__IV12__TAG16
• AesWrappingAlg_ALG__AES256__GCM__IV12__TAG16
• AlgorithmSuiteId
• AlgorithmSuiteId_DBE
• AlgorithmSuiteId_ESDK
• AlgorithmSuiteInfo
• CacheType
• CacheType_Default
• CacheType_MultiThreaded
• CacheType_No
• CacheType_SingleThreaded
• CacheType_StormTracking
• CommitmentPolicy
• CommitmentPolicy_DBE
• CommitmentPolicy_ESDK
• CountingNumber
• CreateAwsKmsDiscoveryKeyringInput
• CreateAwsKmsDiscoveryMultiKeyringInput
• CreateAwsKmsHierarchicalKeyringInput
• CreateAwsKmsKeyringInput
• CreateAwsKmsMrkDiscoveryKeyringInput
• CreateAwsKmsMrkDiscoveryMultiKeyringInput
• CreateAwsKmsMrkKeyringInput
• CreateAwsKmsMrkMultiKeyringInput
• CreateAwsKmsMultiKeyringInput
• CreateAwsKmsRsaKeyringInput
• CreateCryptographicMaterialsCacheInput
• CreateDefaultClientSupplierInput
• CreateDefaultCryptographicMaterialsManagerInput
• CreateMultiKeyringInput
• CreateRawAesKeyringInput
• CreateRawRsaKeyringInput
• CreateRequiredEncryptionContextCMMInput
• DafnyCallEvent
• DBEAlgorithmSuiteId
• DBEAlgorithmSuiteId_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__ECDSA__P384__SYMSIG__HMAC__SHA384
• DBEAlgorithmSuiteId_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__SYMSIG__HMAC__SHA384
• DBECommitmentPolicy
• DecryptionMaterials
• DecryptMaterialsInput
• DecryptMaterialsOutput
• DefaultCache
• DeleteCacheEntryInput
• DerivationAlgorithm
• DerivationAlgorithm_HKDF
• DerivationAlgorithm_IDENTITY
• DerivationAlgorithm_None
• DIRECT__KEY__WRAPPING
• DiscoveryFilter
• ECDSA
• EdkWrappingAlgorithm
• EdkWrappingAlgorithm_DIRECT__KEY__WRAPPING
• EdkWrappingAlgorithm_IntermediateKeyWrapping
• Encrypt
• EncryptedDataKey
• EncryptionMaterials
• Error
• Error_AwsCryptographicMaterialProvidersException
• Error_AwsCryptographyKeyStore
• Error_AwsCryptographyPrimitives
• Error_CollectionOfErrors
• Error_ComAmazonawsDynamodb
• Error_ComAmazonawsKms
• Error_EntryAlreadyExists
• Error_EntryDoesNotExist
• Error_InvalidAlgorithmSuiteInfo
• Error_InvalidAlgorithmSuiteInfoOnDecrypt
• Error_InvalidAlgorithmSuiteInfoOnEncrypt
• Error_InvalidDecryptionMaterials
• Error_InvalidDecryptionMaterialsTransition
• Error_InvalidEncryptionMaterials
• Error_InvalidEncryptionMaterialsTransition
• Error_Opaque
• ESDKAlgorithmSuiteId
• ESDKAlgorithmSuiteId_ALG__AES__128__GCM__IV12__TAG16__HKDF__SHA256
• ESDKAlgorithmSuiteId_ALG__AES__128__GCM__IV12__TAG16__HKDF__SHA256__ECDSA__P256
• ESDKAlgorithmSuiteId_ALG__AES__128__GCM__IV12__TAG16__NO__KDF
• ESDKAlgorithmSuiteId_ALG__AES__192__GCM__IV12__TAG16__HKDF__SHA256
• ESDKAlgorithmSuiteId_ALG__AES__192__GCM__IV12__TAG16__HKDF__SHA384__ECDSA__P384
• ESDKAlgorithmSuiteId_ALG__AES__192__GCM__IV12__TAG16__NO__KDF
• ESDKAlgorithmSuiteId_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY
• ESDKAlgorithmSuiteId_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__ECDSA__P384
• ESDKAlgorithmSuiteId_ALG__AES__256__GCM__IV12__TAG16__HKDF__SHA256
• ESDKAlgorithmSuiteId_ALG__AES__256__GCM__IV12__TAG16__HKDF__SHA384__ECDSA__P384
• ESDKAlgorithmSuiteId_ALG__AES__256__GCM__IV12__TAG16__NO__KDF
• ESDKCommitmentPolicy
• ESDKCommitmentPolicy_FORBID__ENCRYPT__ALLOW__DECRYPT
• ESDKCommitmentPolicy_REQUIRE__ENCRYPT__ALLOW__DECRYPT
• ESDKCommitmentPolicy_REQUIRE__ENCRYPT__REQUIRE__DECRYPT
• GetBranchKeyIdInput
• GetBranchKeyIdOutput
• GetCacheEntryInput
• GetCacheEntryOutput
• GetClientInput
• GetEncryptionMaterialsInput
• GetEncryptionMaterialsOutput
• HKDF
• IAwsCryptographicMaterialProvidersClientCallHistory
• IBranchKeyIdSupplierCallHistory
• IClientSupplierCallHistory
• ICryptographicMaterialsCacheCallHistory
• ICryptographicMaterialsManagerCallHistory
• IDENTITY
• IKeyringCallHistory
• InitializeDecryptionMaterialsInput
• InitializeEncryptionMaterialsInput
• IntermediateKeyWrapping
• MaterialProvidersConfig
• Materials
• Materials_BeaconKey
• Materials_BranchKey
• Materials_Decryption
• Materials_Encryption
• MultiThreadedCache
• NoCache
• None
• OnDecryptInput
• OnDecryptOutput
• OnEncryptInput
• OnEncryptOutput
• OpaqueError
• PaddingScheme
• PaddingScheme_OAEP__SHA1__MGF1
• PaddingScheme_OAEP__SHA256__MGF1
• PaddingScheme_OAEP__SHA384__MGF1
• PaddingScheme_OAEP__SHA512__MGF1
• PaddingScheme_PKCS1
• PositiveInteger
• PositiveLong
• PutCacheEntryInput
• SignatureAlgorithm
• SignatureAlgorithm_ECDSA
• SignatureAlgorithm_None
• SingleThreadedCache
• StormTrackingCache
• SymmetricSignatureAlgorithm
• SymmetricSignatureAlgorithm_HMAC
• SymmetricSignatureAlgorithm_None
• UpdateUsageMetadataInput
• ValidateCommitmentPolicyOnDecryptInput
• ValidateCommitmentPolicyOnEncryptInput
• ValidDecryptionMaterialsTransitionInput
• ValidEncryptionMaterialsTransitionInput