32 lines
737 B
Plaintext
32 lines
737 B
Plaintext
note
|
|
description: "A block cipher that can be the target of CTR mode"
|
|
author: "Colin LeMahieu"
|
|
date: "$Date$"
|
|
revision: "$Revision$"
|
|
quote: "Everything that is really great and inspiring is created by the individual who can labor in freedom. - Albert Einstein"
|
|
|
|
deferred class
|
|
CTR_TARGET
|
|
|
|
feature
|
|
block_size: INTEGER_32
|
|
deferred
|
|
ensure
|
|
Result > 0
|
|
end
|
|
|
|
ctr_ready: BOOLEAN
|
|
deferred
|
|
end
|
|
|
|
encrypt_block (in: SPECIAL [NATURAL_8] in_offset: INTEGER_32 out_array: SPECIAL [NATURAL_8] out_offset: INTEGER_32)
|
|
require
|
|
ctr_ready
|
|
in.valid_index (in_offset)
|
|
in.valid_index (in_offset + block_size - 1)
|
|
out_array.valid_index (out_offset)
|
|
out_array.valid_index (out_offset + block_size - 1)
|
|
deferred
|
|
end
|
|
end
|