AlgorithmSuites_Compile

Class __default

java.lang.Object

AlgorithmSuites_Compile.__default

public class __default
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
__default()

Method Summary

Modifier and Type	Method and Description
static Encrypt	AES__128__GCM__IV12__TAG16()
static Encrypt	AES__192__GCM__IV12__TAG16()
static Encrypt	AES__256__GCM__IV12__TAG16()
static boolean	AlgorithmSuite_q(AlgorithmSuiteInfo a)
static boolean	AlgorithmSuiteInfo_q(AlgorithmSuiteInfo a)
static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends AlgorithmSuiteInfo>	AlgorithmSuiteInfoByBinaryId()
static int	Bits128()
static int	Bits192()
static int	Bits256()
static boolean	CommitmentDerivationAlgorithm_q(DerivationAlgorithm kdf)
static AlgorithmSuiteInfo	DBE__ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__ECDSA__P384__SYMSIG__HMAC__SHA384()
static AlgorithmSuiteInfo	DBE__ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__SYMSIG__HMAC__SHA384()
static boolean	DBEAlgorithmSuite_q(AlgorithmSuiteInfo a)
static EdkWrappingAlgorithm	EDK__INTERMEDIATE__WRAPPING__AES__GCM__256__HKDF__SHA__512()
static boolean	EdkWrappingAlgorithm_q(EdkWrappingAlgorithm alg)
static AlgorithmSuiteInfo	ESDK__ALG__AES__128__GCM__IV12__TAG16__HKDF__SHA256__ECDSA__P256()
static AlgorithmSuiteInfo	ESDK__ALG__AES__128__GCM__IV12__TAG16__HKDF__SHA256()
static AlgorithmSuiteInfo	ESDK__ALG__AES__128__GCM__IV12__TAG16__NO__KDF()
static AlgorithmSuiteInfo	ESDK__ALG__AES__192__GCM__IV12__TAG16__HKDF__SHA256()
static AlgorithmSuiteInfo	ESDK__ALG__AES__192__GCM__IV12__TAG16__HKDF__SHA384__ECDSA__P384()
static AlgorithmSuiteInfo	ESDK__ALG__AES__192__GCM__IV12__TAG16__NO__KDF()
static AlgorithmSuiteInfo	ESDK__ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__ECDSA__P384()
static AlgorithmSuiteInfo	ESDK__ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY()
static AlgorithmSuiteInfo	ESDK__ALG__AES__256__GCM__IV12__TAG16__HKDF__SHA256()
static AlgorithmSuiteInfo	ESDK__ALG__AES__256__GCM__IV12__TAG16__HKDF__SHA384__ECDSA__P384()
static AlgorithmSuiteInfo	ESDK__ALG__AES__256__GCM__IV12__TAG16__NO__KDF()
static boolean	ESDKAlgorithmSuite_q(AlgorithmSuiteInfo a)
static Wrappers_Compile.Result<AlgorithmSuiteInfo,Error>	GetAlgorithmSuiteInfo(dafny.DafnySequence<? extends java.lang.Byte> binaryId_q)
static AlgorithmSuiteInfo	GetDBESuite(DBEAlgorithmSuiteId id)
static int	GetEncryptIvLength(AlgorithmSuiteInfo a)
static int	GetEncryptKeyLength(AlgorithmSuiteInfo a)
static int	GetEncryptTagLength(AlgorithmSuiteInfo a)
static AlgorithmSuiteInfo	GetESDKSuite(ESDKAlgorithmSuiteId id)
static AlgorithmSuiteInfo	GetSuite(AlgorithmSuiteId id)
static DerivationAlgorithm	HKDF__SHA__256(int keyLength)
static DerivationAlgorithm	HKDF__SHA__384(int keyLength)
static DerivationAlgorithm	HKDF__SHA__512(int keyLength)
static int	IvLen()
static boolean	KeyDerivationAlgorithm_q(DerivationAlgorithm kdf)
static dafny.DafnyMap<? extends DBEAlgorithmSuiteId,? extends AlgorithmSuiteInfo>	SupportedDBEAlgorithmSuites()
static boolean	SupportedDBEEDKWrapping_q(EdkWrappingAlgorithm p)
static boolean	SupportedDBEEncrypt_q(Encrypt e)
static dafny.DafnyMap<? extends ESDKAlgorithmSuiteId,? extends AlgorithmSuiteInfo>	SupportedESDKAlgorithmSuites()
static boolean	SupportedESDKEncrypt_q(Encrypt e)
static int	TagLen()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

__default

public __default()

Method Detail

SupportedESDKEncrypt_q

public static boolean SupportedESDKEncrypt_q(Encrypt e)

SupportedDBEEncrypt_q

public static boolean SupportedDBEEncrypt_q(Encrypt e)

SupportedDBEEDKWrapping_q

public static boolean SupportedDBEEDKWrapping_q(EdkWrappingAlgorithm p)

KeyDerivationAlgorithm_q

public static boolean KeyDerivationAlgorithm_q(DerivationAlgorithm kdf)

CommitmentDerivationAlgorithm_q

public static boolean CommitmentDerivationAlgorithm_q(DerivationAlgorithm kdf)

EdkWrappingAlgorithm_q

public static boolean EdkWrappingAlgorithm_q(EdkWrappingAlgorithm alg)

AlgorithmSuiteInfo_q

public static boolean AlgorithmSuiteInfo_q(AlgorithmSuiteInfo a)

ESDKAlgorithmSuite_q

public static boolean ESDKAlgorithmSuite_q(AlgorithmSuiteInfo a)

DBEAlgorithmSuite_q

public static boolean DBEAlgorithmSuite_q(AlgorithmSuiteInfo a)

AlgorithmSuite_q

public static boolean AlgorithmSuite_q(AlgorithmSuiteInfo a)

HKDF__SHA__256

public static DerivationAlgorithm HKDF__SHA__256(int keyLength)

HKDF__SHA__384

public static DerivationAlgorithm HKDF__SHA__384(int keyLength)

HKDF__SHA__512

public static DerivationAlgorithm HKDF__SHA__512(int keyLength)

GetSuite

public static AlgorithmSuiteInfo GetSuite(AlgorithmSuiteId id)

GetDBESuite

public static AlgorithmSuiteInfo GetDBESuite(DBEAlgorithmSuiteId id)

GetESDKSuite

public static AlgorithmSuiteInfo GetESDKSuite(ESDKAlgorithmSuiteId id)

GetEncryptKeyLength

public static int GetEncryptKeyLength(AlgorithmSuiteInfo a)

GetEncryptTagLength

public static int GetEncryptTagLength(AlgorithmSuiteInfo a)

GetEncryptIvLength

public static int GetEncryptIvLength(AlgorithmSuiteInfo a)

GetAlgorithmSuiteInfo

public static Wrappers_Compile.Result<AlgorithmSuiteInfo,Error> GetAlgorithmSuiteInfo(dafny.DafnySequence<? extends java.lang.Byte> binaryId_q)

Bits128

public static int Bits128()

TagLen

public static int TagLen()

IvLen

public static int IvLen()

AES__128__GCM__IV12__TAG16

public static Encrypt AES__128__GCM__IV12__TAG16()

Bits192

public static int Bits192()

AES__192__GCM__IV12__TAG16

public static Encrypt AES__192__GCM__IV12__TAG16()

Bits256

public static int Bits256()

AES__256__GCM__IV12__TAG16

public static Encrypt AES__256__GCM__IV12__TAG16()

EDK__INTERMEDIATE__WRAPPING__AES__GCM__256__HKDF__SHA__512

public static EdkWrappingAlgorithm EDK__INTERMEDIATE__WRAPPING__AES__GCM__256__HKDF__SHA__512()

DBE__ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__SYMSIG__HMAC__SHA384

public static AlgorithmSuiteInfo DBE__ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__SYMSIG__HMAC__SHA384()

DBE__ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__ECDSA__P384__SYMSIG__HMAC__SHA384

public static AlgorithmSuiteInfo DBE__ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__ECDSA__P384__SYMSIG__HMAC__SHA384()

ESDK__ALG__AES__128__GCM__IV12__TAG16__NO__KDF

public static AlgorithmSuiteInfo ESDK__ALG__AES__128__GCM__IV12__TAG16__NO__KDF()

ESDK__ALG__AES__192__GCM__IV12__TAG16__NO__KDF

public static AlgorithmSuiteInfo ESDK__ALG__AES__192__GCM__IV12__TAG16__NO__KDF()

ESDK__ALG__AES__256__GCM__IV12__TAG16__NO__KDF

public static AlgorithmSuiteInfo ESDK__ALG__AES__256__GCM__IV12__TAG16__NO__KDF()

ESDK__ALG__AES__128__GCM__IV12__TAG16__HKDF__SHA256

public static AlgorithmSuiteInfo ESDK__ALG__AES__128__GCM__IV12__TAG16__HKDF__SHA256()

ESDK__ALG__AES__192__GCM__IV12__TAG16__HKDF__SHA256

public static AlgorithmSuiteInfo ESDK__ALG__AES__192__GCM__IV12__TAG16__HKDF__SHA256()

ESDK__ALG__AES__256__GCM__IV12__TAG16__HKDF__SHA256

public static AlgorithmSuiteInfo ESDK__ALG__AES__256__GCM__IV12__TAG16__HKDF__SHA256()

ESDK__ALG__AES__128__GCM__IV12__TAG16__HKDF__SHA256__ECDSA__P256

public static AlgorithmSuiteInfo ESDK__ALG__AES__128__GCM__IV12__TAG16__HKDF__SHA256__ECDSA__P256()

ESDK__ALG__AES__192__GCM__IV12__TAG16__HKDF__SHA384__ECDSA__P384

public static AlgorithmSuiteInfo ESDK__ALG__AES__192__GCM__IV12__TAG16__HKDF__SHA384__ECDSA__P384()

ESDK__ALG__AES__256__GCM__IV12__TAG16__HKDF__SHA384__ECDSA__P384

public static AlgorithmSuiteInfo ESDK__ALG__AES__256__GCM__IV12__TAG16__HKDF__SHA384__ECDSA__P384()

ESDK__ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY

public static AlgorithmSuiteInfo ESDK__ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY()

ESDK__ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__ECDSA__P384

public static AlgorithmSuiteInfo ESDK__ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__ECDSA__P384()

SupportedESDKAlgorithmSuites

public static dafny.DafnyMap<? extends ESDKAlgorithmSuiteId,? extends AlgorithmSuiteInfo> SupportedESDKAlgorithmSuites()

SupportedDBEAlgorithmSuites

public static dafny.DafnyMap<? extends DBEAlgorithmSuiteId,? extends AlgorithmSuiteInfo> SupportedDBEAlgorithmSuites()

AlgorithmSuiteInfoByBinaryId

public static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends AlgorithmSuiteInfo> AlgorithmSuiteInfoByBinaryId()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object