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