EncryptDecryptHelpers

package
v0.1.0 Latest Latest
Warning

This package is not in the latest version of its module.

 Go to latest Published: Jan 16, 2025 License: Apache-2.0 Imports: 122 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var Companion_Default___ = CompanionStruct_Default___{}
View Source 
var Companion_FrameLength_ = CompanionStruct_FrameLength_{}

Functions

func Type_FrameLength_ 

func Type_FrameLength_() _dafny.TypeDescriptor

Types

type CompanionStruct_Default___ 

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) BuildHeaderAuthTag 

func (_static *CompanionStruct_Default___) BuildHeaderAuthTag(suite m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo, dataKey _dafny.Sequence, rawHeader _dafny.Sequence, serializedReqEncryptionContext _dafny.Sequence, crypto *m_AtomicPrimitives.AtomicPrimitivesClient) m_Wrappers.Result

func (*CompanionStruct_Default___) BuildHeaderBody 

func (_static *CompanionStruct_Default___) BuildHeaderBody(messageId _dafny.Sequence, suite m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo, encryptionContext _dafny.Sequence, encryptedDataKeys _dafny.Sequence, frameLength uint32, suiteData m_Wrappers.Option) m_HeaderTypes.HeaderBody

func (*CompanionStruct_Default___) BuildHeaderForEncrypt 

func (_static *CompanionStruct_Default___) BuildHeaderForEncrypt(messageId _dafny.Sequence, suite m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo, encryptionContext _dafny.Map, requiredEncryptionContextKeys _dafny.Sequence, encryptedDataKeys _dafny.Sequence, frameLength uint32, derivedDataKeys m_KeyDerivation.ExpandedKeyMaterial, crypto *m_AtomicPrimitives.AtomicPrimitivesClient) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateCmmFromInput 

func (_static *CompanionStruct_Default___) CreateCmmFromInput(inputCmm m_Wrappers.Option, inputKeyring m_Wrappers.Option) m_Wrappers.Result

func (*CompanionStruct_Default___) DEFAULT__FRAME__LENGTH 

func (_static *CompanionStruct_Default___) DEFAULT__FRAME__LENGTH() int64

func (*CompanionStruct_Default___) GenerateMessageId 

func (_static *CompanionStruct_Default___) GenerateMessageId(suite m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo, crypto *m_AtomicPrimitives.AtomicPrimitivesClient) m_Wrappers.Result

func (*CompanionStruct_Default___) GetDecryptionMaterials 

func (_static *CompanionStruct_Default___) GetDecryptionMaterials(cmm m_AwsCryptographyMaterialProvidersTypes.ICryptographicMaterialsManager, algorithmSuiteId m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteId, headerBody m_HeaderTypes.HeaderBody, reproducedEncryptionContext m_Wrappers.Option, commitmentPolicy m_AwsCryptographyMaterialProvidersTypes.ESDKCommitmentPolicy, mpl *m_MaterialProviders.MaterialProvidersClient) m_Wrappers.Result

func (*CompanionStruct_Default___) GetEncryptionMaterials 

func (_static *CompanionStruct_Default___) GetEncryptionMaterials(cmm m_AwsCryptographyMaterialProvidersTypes.ICryptographicMaterialsManager, algorithmSuiteId m_Wrappers.Option, encryptionContext _dafny.Map, maxPlaintextLength int64, commitmentPolicy m_AwsCryptographyMaterialProvidersTypes.ESDKCommitmentPolicy, mpl *m_MaterialProviders.MaterialProvidersClient) m_Wrappers.Result

func (*CompanionStruct_Default___) MapSerializeFailure 

func (_static *CompanionStruct_Default___) MapSerializeFailure(s _dafny.Sequence) func(m_SerializeFunctions.ReadProblems) m_AwsCryptographyEncryptionSdkTypes.Error

func (*CompanionStruct_Default___) RESERVED__ENCRYPTION__CONTEXT 

func (_static *CompanionStruct_Default___) RESERVED__ENCRYPTION__CONTEXT() _dafny.Sequence

func (*CompanionStruct_Default___) ReadAndDecryptFramedMessageBody 

func (_static *CompanionStruct_Default___) ReadAndDecryptFramedMessageBody(buffer m_SerializeFunctions.ReadableBuffer, header m_Header.HeaderInfo, key _dafny.Sequence, crypto *m_AtomicPrimitives.AtomicPrimitivesClient) m_Wrappers.Result

func (*CompanionStruct_Default___) ReadAndDecryptNonFramedMessageBody 

func (_static *CompanionStruct_Default___) ReadAndDecryptNonFramedMessageBody(buffer m_SerializeFunctions.ReadableBuffer, header m_Header.HeaderInfo, key _dafny.Sequence, crypto *m_AtomicPrimitives.AtomicPrimitivesClient) m_Wrappers.Result

func (*CompanionStruct_Default___) SerializeMessageWithSignature 

func (_static *CompanionStruct_Default___) SerializeMessageWithSignature(framedMessage m_MessageBody.FramedMessageBody, signature _dafny.Sequence, suite m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo) m_Wrappers.Result

func (*CompanionStruct_Default___) SerializeMessageWithoutSignature 

func (_static *CompanionStruct_Default___) SerializeMessageWithoutSignature(framedMessage m_MessageBody.FramedMessageBody, suite m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo) m_Wrappers.Result

func (*CompanionStruct_Default___) ValidateEncryptionContext 

func (_static *CompanionStruct_Default___) ValidateEncryptionContext(input m_Wrappers.Option) m_Wrappers.Outcome

func (*CompanionStruct_Default___) ValidateMaxEncryptedDataKeys 

func (_static *CompanionStruct_Default___) ValidateMaxEncryptedDataKeys(maxEncryptedDataKeys m_Wrappers.Option, edks _dafny.Sequence) m_Wrappers.Outcome

func (*CompanionStruct_Default___) ValidateSuiteData 

func (_static *CompanionStruct_Default___) ValidateSuiteData(suite m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo, header m_HeaderTypes.HeaderBody, expectedSuiteData _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) VerifySignature 

func (_static *CompanionStruct_Default___) VerifySignature(buffer m_SerializeFunctions.ReadableBuffer, msg _dafny.Sequence, decMat m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials, crypto *m_AtomicPrimitives.AtomicPrimitivesClient) m_Wrappers.Result

type CompanionStruct_FrameLength_ 

type CompanionStruct_FrameLength_ struct {
}

func (*CompanionStruct_FrameLength_) Is_ 

func (_this *CompanionStruct_FrameLength_) Is_(__source int64) bool

type Default__ 

type Default__ struct {
	// contains filtered or unexported fields
}

Definition of class Default__

func New_Default___ 

func New_Default___() *Default__

func (*Default__) Equals 

func (_this *Default__) Equals(other *Default__) bool

func (*Default__) EqualsGeneric 

func (_this *Default__) EqualsGeneric(x interface{}) bool

func (*Default__) ParentTraits_ 

func (_this *Default__) ParentTraits_() []*_dafny.TraitID

func (*Default__) String 

func (*Default__) String() string

type Dummy__ 

type Dummy__ struct{}

type FrameLength 

type FrameLength struct {
}

Definition of class FrameLength

func New_FrameLength_ 

func New_FrameLength_() *FrameLength

func (*FrameLength) String 

func (*FrameLength) String() string

Source Files

View all Source files

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.