Encrypt
Length
elements of the
Plaintext
array using the AES context
Context
and the initialization vector
IV
. The result is placed into
Ciphertext
.
derives
Ciphertext from Context, IV, Plaintext, Length;
pre
Plaintext'First = Ciphertext'First and
Plaintext'Last = Ciphertext'Last and
Plaintext'First + Length - 1 in Plaintext'Range and
Plaintext'First + Length - 1 in AES.Message_Index and
Ciphertext'First + Length - 1 in Ciphertext'Range and
Ciphertext'First + Length - 1 in AES.Message_Index;